Timo Kaufmann
5fc5881221
sage: backport bugfix ( #57794 )
2019-03-17 14:36:01 +00:00
Timo Kaufmann
8fc3c033cb
pynac: 0.7.23 -> 0.7.24 ( #57791 )
...
Apparently some python3 related fixes: https://trac.sagemath.org/ticket/27241
Also switch to using pname.
2019-03-17 14:35:28 +00:00
Stephen
a14a7d958f
labelimg: fix build ( #57714 )
...
for #56826 see https://hydra.nixos.org/build/90477186/nixlog/2
2019-03-15 20:50:03 +01:00
Dmitry Kalinkin
d5f97ae600
Merge pull request #57650 from stephengroat/patch-4
...
apmplanner2: fix build
2019-03-14 15:28:57 -04:00
Alex Branham
1e354a7e40
R: 3.5.2 -> 3.5.3
...
Closes https://github.com/NixOS/nixpkgs/pull/57400 .
2019-03-14 19:50:37 +01:00
Stephen
08e4d7cf69
apmplanner2: fix build
...
see ArduPilot/apm_planner#1166
2019-03-14 11:23:20 -07:00
Gabriel Ebner
be261a1ede
isabelle: refactor
...
Fixes #33337
2019-03-14 11:48:30 +01:00
Gabriel Ebner
308456a7a7
Merge pull request #57567 from gebner/isabelle-2018
...
isabelle: 2017 -> 2018
2019-03-14 11:25:02 +01:00
Gabriel Ebner
c7f43de43c
isabelle: 2017 -> 2018
2019-03-12 14:32:48 +01:00
Sébastien Maret
6f81adb7ee
gildas: 20190301_a -> 20190301_b
2019-03-11 21:43:41 +01:00
worldofpeace
988ed26778
Merge pull request #57363 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.18.25 -> 2.18.27
2019-03-11 07:13:20 -04:00
R. RyanTM
70815de29c
picard-tools: 2.18.25 -> 2.18.27
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2019-03-11 03:37:34 -07:00
Peter Hoeg
136126ceae
Merge pull request #56498 from ariutta/patch-1
...
cytoscape: bump 3.6.1 -> 3.7.1
2019-03-11 11:20:50 +08:00
Timo Kaufmann
ce96994032
sage: fix docbuild ( #57294 )
...
The docbuild (or rather its tests) failed because sphinx built some
English parts of the documentation in Russian. The added debian patch
fixes that by isolating docbuilding threads in sphinx using
proper subprocesses.
2019-03-10 21:42:54 +00:00
Timo Kaufmann
3b7fb15182
Merge pull request #57126 from timokau/sage-maxima-downgrade
...
sage: downgrade maxima to 5.41
2019-03-09 20:05:01 +00:00
Timo Kaufmann
23908a0ee3
sage: downgrade maxima to 5.41
...
See discussion at
82254747af
.
2019-03-09 17:23:57 +01:00
Silvan Mosberger
8ca1c925c6
sad: Fix build
2019-03-09 01:07:18 +01:00
luz.paz
77cb537712
gmsh: 4.1.5 -> 4.2.1
2019-03-08 05:24:15 -05:00
Timo Kaufmann
e2b287b32a
maxima: remove ecl known-failures patch
...
It doesn't apply anymore since the recent update. Since the testsuite is
completely disabled now, there is little point in rebasing it.
2019-03-07 16:08:10 +01:00
Ryan Mulligan
5896677b47
Merge pull request #56956 from smaret/gildas
...
gildas: 20190201_b -> 20190301_a
2019-03-06 19:28:41 -08:00
Sébastien Maret
880d0ac9f0
gildas: 20190201_b -> 20190301_a
2019-03-06 13:56:17 +01:00
Jörg Thalheim
9b57d852af
Merge pull request #56905 from timokau/pari-fix
...
pari: fix off-by-one error
2019-03-06 11:00:07 +00:00
Jan Tojnar
d3ff902e94
webkit: move to aliases
2019-03-06 00:20:55 +01:00
Timo Kaufmann
a648b8c714
pari: fix off-by-one error
...
Done by applying upstream patch. Will be included in the next release.
Upstream: https://pari.math.u-bordeaux.fr/cgi-bin/bugreport.cgi?bug=2117
2019-03-05 21:50:44 +01:00
Timo Kaufmann
00fa98f012
pari: add timokau as maintainer
...
I'm mostly interested in this package because it is a dependency of
sage. I'd like to be notified on changes (which ofBorg will do when I'm
listed as a maintainer).
2019-03-05 20:23:04 +01:00
Timo Kaufmann
5a23cb575e
pari: slight refactoring
...
Use pname, one line per argument.
2019-03-05 20:21:26 +01:00
Peter Simons
1c6a193b3e
wxmaxima: update to version 19.03.0
2019-03-05 12:53:05 +01:00
Peter Simons
82254747af
maxima: update to version 5.42.2
2019-03-05 12:53:04 +01:00
Dmitry Kalinkin
aa4f5cc4a3
simgrid: Fix the upstream project URL
...
Closes: #56849
2019-03-04 16:42:46 -05:00
R. RyanTM
27e05d81a5
star: 2.7.0a -> 2.7.0c
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/star/versions
2019-03-03 20:55:25 +01:00
R. RyanTM
6a987f5730
form: 4.2.0 -> 4.2.1
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/form/versions
2019-03-03 20:49:36 +01:00
R. RyanTM
9989b7c8c4
igv: 2.4.17 -> 2.4.19
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
2019-03-03 20:48:52 +01:00
Timo Kaufmann
37182b20a6
Merge pull request #56781 from timokau/sage-python-upgrade-fixes
...
Sage python upgrade fixes
2019-03-03 20:48:10 +01:00
R. RyanTM
2d20e8c5f2
gtkwave: 3.3.98 -> 3.3.99
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2019-03-03 17:13:47 +01:00
Timo Kaufmann
9e3754786b
sage: fix strictDeps fallout
...
See https://github.com/NixOS/nixpkgs/pull/54182 and
https://github.com/NixOS/nixpkgs/pull/55757 .
2019-03-03 13:25:40 +01:00
Timo Kaufmann
2de81ee78f
sage: patch for pip 19
...
pip 19 introduced a deprecation warning for python 2.7. Since sage
internally uses pip to query for installed packages, this deprecation
warning will show up at unexpected times. That is ugly and messes with
the testsuite.
Upstream: https://trac.sagemath.org/ticket/27405
2019-03-03 13:21:22 +01:00
R. RyanTM
4f1c44906c
cryptominisat: 5.6.6 -> 5.6.8
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptominisat/versions
2019-03-01 16:58:38 -08:00
Frederik Rietdijk
2fcb11a244
Merge staging-next into master
2019-03-01 09:06:20 +01:00
Anders Riutta
c792fd107b
cytoscape: bump 3.6.1 -> 3.7.1
...
Needed to update URL, because `wget "http://chianti.ucsd.edu/cytoscape-3.7.1/cytoscape-3.7.1.tar.gz "` returns `404`.
2019-02-27 16:40:50 -08:00
John Ericson
8293ab8461
Merge pull request #56408 from Mic92/runtime-shell
...
treewide: use runtimeShell instead of stdenv.shell whenever possible
2019-02-26 18:04:27 -05:00
Jörg Thalheim
dadc7eb329
treewide: use runtimeShell instead of stdenv.shell whenever possible
...
Whenever we create scripts that are installed to $out, we must use runtimeShell
in order to get the shell that can be executed on the machine we create the
package for. This is relevant for cross-compiling. The only use case for
stdenv.shell are scripts that are executed as part of the build system.
Usages in checkPhase are borderline however to decrease the likelyhood
of people copying the wrong examples, I decided to use runtimeShell as well.
2019-02-26 14:10:49 +00:00
Merlin Göttlinger
5781856630
clprover: init at 1.0.3 ( #56403 )
...
* clprover: init at 1.0.3
2019-02-26 12:36:04 +00:00
Vincent Laporte
4266523c14
why3: 1.1.1 -> 1.2.0
2019-02-25 10:09:15 +01:00
Sophie Taylor
59338fb99d
Fix sc2-headless map hash ( #56320 )
2019-02-25 01:08:12 +01:00
Vladimír Čunát
71f4ba29a3
Merge branch 'master' into staging-next
...
Hydra nixpkgs: ?compare=1506218
2019-02-22 17:51:01 +01:00
markuskowa
0b00338eb9
Merge pull request #56178 from luzpaz/gmsh-4.1.5
...
gmsh: 4.1.3 -> 4.1.5
2019-02-22 11:26:15 +01:00
Sophie Taylor
c736f9693d
Added maps to sc2-headless
2019-02-22 09:01:00 +00:00
luz.paz
add7b20858
gmsh: 4.1.3 -> 4.1.5
2019-02-21 22:55:48 -05:00
Frederik Rietdijk
5871da418f
Merge staging into python-unstable
2019-02-21 08:02:10 +01:00
Frederik Rietdijk
e2cd07b997
Merge staging-next into staging
2019-02-21 07:54:33 +01:00