Commit Graph

2445 Commits

Author SHA1 Message Date
Sarah Brofeldt
c0cfe9bf50
Merge pull request #54991 from FlorianFranzen/sc2-headless
sc2-headless: 3.17 -> 4.7.1
2019-02-12 09:42:56 +01:00
Timo Kaufmann
5728028916 sage: add numpy 1.16 compatibility patch
https://trac.sagemath.org/ticket/27000
2019-02-11 21:43:56 +01:00
Timo Kaufmann
342333c0ab
sage: add compatibility for sphinx 1.8.3 (#55078) (#55560)
Since https://github.com/NixOS/nixpkgs/pull/48841 was replaced by
https://github.com/NixOS/nixpkgs/pull/54186, this needs to be done
separately.

(cherry picked from commit 33db01e6d9)
2019-02-11 13:18:16 +01:00
Vladimír Čunát
d2c4b5777b
sagelib: fix missing pkgs.pkgconfig
Again: eb3f0aef43 #54306
Apparently the derivation needs both pkgconfigs
(it fails when missing either).
2019-02-09 10:36:47 +01:00
tbenst
1cb81a69a0 cmtk: init at 3.3.1 (#54016)
* cmtk: init at 3.3.1
2019-02-08 17:41:14 -05:00
Will Dietz
dcfce974d9
Merge pull request #55077 from m-labs/for-upstream
rink: init at 0.4.4
2019-02-07 09:47:46 -06:00
Timo Kaufmann
dbc771f2e1
Merge pull request #55299 from r-ryantm/auto-update/jmol
jmol: 14.29.29 -> 14.29.31
2019-02-06 13:15:46 +01:00
markuskowa
0496c08afd
Merge pull request #55298 from r-ryantm/auto-update/igv
igv: 2.4.16 -> 2.4.17
2019-02-06 12:50:24 +01:00
Markus Kowalewski
64e9f2ad65
jmol: remove redundant name attribute
version and pname are alrady present
2019-02-06 12:25:25 +01:00
R. RyanTM
a1360faba7 jmol: 14.29.29 -> 14.29.31
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/jmol/versions
2019-02-05 20:33:46 -08:00
R. RyanTM
da628f0cbd igv: 2.4.16 -> 2.4.17
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-02-05 20:06:55 -08:00
markuskowa
9703765556 molden: 5.8.2 -> 5.9.3 (#55044) 2019-02-05 23:57:29 +02:00
markuskowa
5c7edec7a3
Merge pull request #55152 from r-ryantm/auto-update/star
star: 2.6.1d -> 2.7.0a
2019-02-04 22:53:49 +01:00
R. RyanTM
b015c68def verilator: 4.008 -> 4.010
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2019-02-04 11:54:29 -06:00
R. RyanTM
e27eaf6111 star: 2.6.1d -> 2.7.0a
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-02-03 17:20:27 -08:00
Sebastien Bourdeauducq
3b03b901fb rink: init at 0.4.4 2019-02-03 13:29:18 +08:00
Florian Franzen
337babae4c sc2-headless: 3.17 -> 4.7.1 2019-01-31 15:21:58 +01:00
markuskowa
e27e114803
Merge pull request #53677 from jbedo/snpeff-4.3T
snpeff: 4.3q -> 4.3t
2019-01-31 10:36:32 +01:00
Robert Schütz
052acfe930 sage: python-openid: move django and twill to checkInputs (#54949)
A search through the source code
(https://github.com/openid/python-openid/search?q=django and
https://github.com/openid/python-openid/search?q=twill) reveals
that they are only used in examples and tests.
2019-01-31 10:14:36 +01:00
Justin Bedo
75dd587793
snpeff: 4.3q -> 4.3t 2019-01-31 15:15:05 +11:00
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