markuskowa
ca13dc163b
Merge pull request #49871 from wucke13/getdp
...
getdp: init at 3.0.4
2019-01-31 00:43:08 +01:00
markuskowa
a98cebbc35
Merge pull request #54828 from r-ryantm/auto-update/gmsh
...
gmsh: 4.1.0 -> 4.1.3
2019-01-29 12:39:06 +01:00
Sébastien Maret
d5f4b2b63e
gildas: 20181201_a -> 20190101_b
2019-01-29 11:00:45 +00:00
R. RyanTM
2b39f17d08
minimap2: 2.14 -> 2.15
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
2019-01-28 20:01:47 +00:00
R. RyanTM
2b03ef0521
gmsh: 4.1.0 -> 4.1.3
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
2019-01-28 10:33:36 -08:00
R. RyanTM
00cdff318a
picard-tools: 2.18.23 -> 2.18.25
...
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-01-28 17:17:30 +00:00
wucke13
4f40b5e00e
getdp: init at 3.0.4
2019-01-28 16:45:13 +01:00
Dmitry Kalinkin
b8d6cc8157
Merge pull request #54520 from veprbl/pr/sherpa_2.2.6
...
sherpa: 2.2.5 -> 2.2.6
2019-01-27 22:01:53 -05:00
Michael Raskin
cc74c0399e
leo3: init at 1.2
2019-01-27 01:57:11 +01:00
Artemis Tosini
51a2a08d6e
mathematica: 11.2.0 -> 11.3.0
...
Note that this only affects the English version, as I do not have access
to the hash for the Japanese version.
2019-01-25 15:29:02 +00:00
Dmitry Kalinkin
d28bce307e
sherpa: 2.2.5 -> 2.2.6
2019-01-24 18:46:15 -05:00
Vincent Laporte
b76961124d
coq_8_9: 8.9+beta1 -> 8.9.0
2019-01-24 09:08:51 +00:00
Michael Raskin
ebb370f680
z3-tptp: init
...
Z3 ships a TPTP-supporting wrapper as an example; allow building it
2019-01-22 16:51:18 +01:00
Dmitry Kalinkin
958201a98f
Merge pull request #48675 from veprbl/pr/xfitter_fix
...
xfitter: runtime fixes
2019-01-20 20:00:02 -05:00
Mario Rodas
9a18d9356d
lean: 3.4.1 -> 3.4.2
2019-01-20 06:46:37 -05:00
Austin Seipp
5069fa0a30
nixpkgs: remove sapic-0.9
...
SAPIC is bundled with Tamarin and doesn't have separate releases
anymore; add an appropriate 'throw' clause to the alias so people know
where to find it.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-19 18:54:38 -06:00
Austin Seipp
fc159594a7
tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic
...
With this, we can drop the old 1.4.0 patches for 8.4 support, since
those are now upstream.
Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the
external dependency. (This includes a patch that compiles SAPIC to
native code, much like the original, to reduce closure size.)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-19 18:54:38 -06:00
Dmitry Kalinkin
0f3758b5e6
Merge pull request #53839 from fusion809/marvin
...
marvin: init at 19.1.0
2019-01-19 15:50:49 -05:00
Timo Kaufmann
d34f44db45
sage: fix transient ecl error ( #54285 )
...
Sometimes the doctests fail because ecl races to create a directory.
This should fix that by making sure each process has its own directory.
2019-01-18 23:02:03 +01:00
markuskowa
4545aaa671
Merge pull request #54209 from r-ryantm/auto-update/gmsh
...
gmsh: 4.0.7 -> 4.1.0
2019-01-18 11:40:48 +01:00
worldofpeace
ce69fadb36
Merge pull request #54153 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.18.21 -> 2.18.23
2019-01-18 01:51:04 +00:00
R. RyanTM
55ea7b1bbe
gmsh: 4.0.7 -> 4.1.0
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
2019-01-17 12:55:54 -08:00
Timo Kaufmann
e379ee67c3
sage: 8.5 -> 8.6
2019-01-17 20:39:02 +01:00
Timo Kaufmann
29e150d85f
Merge pull request #54127 from timokau/gap-improvements
...
gap: install libgap, add packageSet option
2019-01-17 20:38:38 +01:00
Timo Kaufmann
cf63a8c94c
gap: add packageSet option
...
Two reasons for this:
- more fine-grained space/functionality tradeoff
- preparation for the sage 8.6 update, which finally doesn't need a
downgraded gap anymore but does break when unexpected (non-standard)
packages are installed. Details: https://trac.sagemath.org/ticket/26983
The proper way to deal with gap packages would be to create a package
set, package each one individually and have something like gap
equivalent of `python.withPackages`. I am not willing to do that
however.
2019-01-17 10:10:24 +01:00
Timo Kaufmann
bb173ec8e3
gap: install libgap
...
There are some starts of a `make install`, but nothing complete yet.
Upstream now ships a `libgap` as a replacement of the custom one used by
sagemath.
2019-01-17 10:10:21 +01:00
R. RyanTM
b2a7ef628a
picard-tools: 2.18.21 -> 2.18.23
...
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-01-16 21:43:19 -08:00
Timo Kaufmann
6bbd0596dd
gap: add timokau as maintainer
...
So that I'll be notified on changes which likely impact sage.
2019-01-16 23:41:31 +01:00
Timo Kaufmann
a8dbc5e313
python.pkgs.cypari2: 1.3.1 -> 2.0.3 ( #54093 )
...
Upstream issues should be fixed now, see https://trac.sagemath.org/ticket/26442 .
Sage needs a patch to adapt.
2019-01-16 22:15:40 +01:00
Gabriel Ebner
49db581e8c
elan: 0.7.1 -> 0.7.2
2019-01-15 10:05:45 +01:00
Brenton Horne
6be5e679b1
marvin: init at 19.1.0
...
Also adding myself (fusion809) as a maintainer.
The marvin Nix file in this commit is largely thanks to @msteen.
2019-01-15 00:23:38 +10:00
Johannes Frankenau
bebf305c1b
gurobi: 8.0.1 -> 8.1 ( #53884 )
2019-01-13 23:22:55 +01:00
R. RyanTM
26b492b207
minimap2: 2.10 -> 2.14 ( #52845 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
2019-01-13 22:34:45 +01:00
Vladimír Čunát
bde8efe792
Merge branch 'master' into staging-next
...
A couple thousand rebuilds have accumulated on master.
2019-01-12 12:19:34 +01:00
Dmitry Kalinkin
73625f2522
root5: mark as broken on Linux
2019-01-11 20:45:37 -05:00
Dmitry Kalinkin
0c9335fb1c
root, root5: fix build on darwin
2019-01-11 20:45:37 -05:00
tbenst
d34f2b9b96
bftools: init at 5.9.2 ( #53769 )
2019-01-10 18:28:28 -05:00
markuskowa
b70a4b2b98
Merge pull request #53478 from bgamari/bump-ngspice
...
ngspice: 29 -> 30
2019-01-10 20:17:54 +01:00
Vladimír Čunát
287144e342
Merge branch 'master' into staging-next
2019-01-10 13:07:21 +01:00
Austin Seipp
c10650760d
yices: s/fetchurl/fetchFromGitHub/
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Austin Seipp
38aa0a3df4
z3: 4.8.3 -> 4.8.4
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Austin Seipp
d77f381055
symbiyosys: 2018.09.12 -> 2018.12.09
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Simon Lackerbauer
f7367cbf1c
abella: 2.0.5 -> 2.0.6
2019-01-08 17:05:30 +00:00
R. RyanTM
bd7eec5d9c
pynac: 0.7.22 -> 0.7.23 ( #53559 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pynac/versions
2019-01-07 14:52:18 +01:00
Vladimír Čunát
10a12194e3
Merge #53490 : fix treewide linking errors after #51770
...
Issue #53001 . This might not be all of them, but let's not wait.
2019-01-06 12:14:52 +01:00
Frederik Rietdijk
a4250d1478
Merge staging-next into staging
2019-01-06 09:48:31 +01:00
Frederik Rietdijk
e5381cdece
Merge master into staging-next
2019-01-06 09:36:23 +01:00
Jörg Thalheim
37fe593d48
cryptominisat: switch to python3
2019-01-05 16:38:10 +01:00
Jörg Thalheim
4a4d1d6497
cryptominisat: 5.0.1 -> 5.6.6
2019-01-05 12:45:44 +01:00
Frederik Rietdijk
60a3973a55
Merge staging-next into staging
2019-01-05 10:15:00 +01:00