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
Piotr Bogdan
71f216b7e6
golly-beta: link with lib{dl,GL} explicitly
2019-01-04 21:44:19 +00:00
Piotr Bogdan
ae7557c4cb
avogadro: fix libX11 underlinking
2019-01-04 21:13:57 +00:00
Frederik Rietdijk
9618abe87c
Merge master into staging-next
2019-01-04 21:13:19 +01:00
Lengyel Balazs
f4a53ff3bc
treewide/xorg: replace *proto with xorgproto
2019-01-04 14:38:57 +01:00
Frederik Rietdijk
0a2caa41fe
Python: drop python.majorVersion
...
Drop `python.majorVersion`. For Python language version, use `python.pythonVersion`.
For implementation version, use `python.sourceVersion`.
Some expressions were broken. Those that were identified were fixed.
fixup major
2019-01-04 10:45:22 +01:00
R. RyanTM
c7afdaf5cd
gtkwave: 3.3.97 -> 3.3.98
...
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-01-03 16:44:01 -05:00
Ben Gamari
537b0ac9be
ngspice: 29 -> 30
...
Just a simple bump.
2019-01-03 16:16:51 -05:00
Frederik Rietdijk
2da31b80bb
Merge master into staging-next
2019-01-03 20:07:35 +01:00
markuskowa
d38f103586
Merge pull request #53312 from r-ryantm/auto-update/gromacs
...
gromacs: 2018.4 -> 2019
2019-01-03 18:52:49 +01:00
R. RyanTM
344fd2319b
gromacs: 2018.4 -> 2019
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2019-01-03 05:58:09 -08:00
R. RyanTM
c00dbcb7c4
picard-tools: 2.18.20 -> 2.18.21
...
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-03 08:39:10 +01:00
Frederik Rietdijk
092e3b50a8
Merge master into staging-next
2019-01-02 21:08:27 +01:00
Vladimír Čunát
70bff06140
Merge branch 'master' into staging
2019-01-02 17:19:23 +01:00
R. RyanTM
e6d8d29f30
kicad: 5.0.1 -> 5.0.2 ( #52866 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kicad/versions
2019-01-01 20:02:29 +01:00
Frederik Rietdijk
070290bda7
Merge master into staging-next
2018-12-31 12:00:36 +01:00
Vincent Laporte
ea92816c74
why3: 1.1.0 -> 1.1.1 ( #52980 )
2018-12-29 21:05:23 +01:00
Timo Kaufmann
7abdacc4f2
Merge pull request #51039 from timokau/sage-8.5
...
sage: 8.4 -> 8.5
2018-12-29 16:15:38 +01:00
Timo Kaufmann
8cd7b5aab3
gap: 4r8p10 -> 4.10.0 ( #53037 )
...
This new version also has a libgap replacement, so after the next sage
update gap-libgap-compatible and libgap won't be necessary anymore.
2018-12-29 16:05:56 +01:00
Timo Kaufmann
22c16ed300
Merge remote-tracking branch 'upstream/master' into sage-8.5
2018-12-29 12:16:02 +01:00
Timo Kaufmann
95909d4fb6
Revert "sage: preload openblasCompat"
...
This reverts commit 4900bbee17
.
The issue that was supposed to fix is now fixed by lazy-loading rpy2 and
makign sure scipy is loaded before that.
That is not quite as nice, but preloading is now causing its own issues
with openblas 0.3.4:
https://github.com/xianyi/OpenBLAS/issues/1936
2018-12-28 23:06:05 +01:00
Timo Kaufmann
360eddd3a3
sage: remove outdated patch files
2018-12-28 23:06:05 +01:00
Timo Kaufmann
6f0f06ec89
sage: 8.5.rc1 -> 8.5
2018-12-28 23:06:05 +01:00
Andrey Komarov
bc7aa5d202
iverilog: 2017.08.12 -> 2018.12.15
2018-12-28 07:53:36 -06:00
Frederik Rietdijk
10afccf145
Merge staging-next into staging
2018-12-27 18:11:34 +01:00
R. RyanTM
338cf1a7fc
igv: 2.4.15 -> 2.4.16
...
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
2018-12-26 10:44:01 +01:00
Jan Tojnar
c45e9d0fac
Merge branch 'master' into staging
2018-12-25 17:03:57 +01:00
Alexey Shmalko
a5306b311b
Merge pull request #52768 from r-ryantm/auto-update/stellarium
...
stellarium: 0.18.2 -> 0.18.3
2018-12-24 16:38:24 +02:00
Jan Tojnar
ef935fa101
Merge branch 'master' into staging
2018-12-24 15:02:29 +01:00
R. RyanTM
c6cc68a510
stellarium: 0.18.2 -> 0.18.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/stellarium/versions
2018-12-24 04:42:47 -08:00
Jörg Thalheim
5bae6dea20
Merge pull request #52669 from r-ryantm/auto-update/verilator
...
verilator: 4.006 -> 4.008
2018-12-22 12:51:50 +01:00
R. RyanTM
d4021ad9e4
verilator: 4.006 -> 4.008
...
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
2018-12-22 03:33:41 -08:00
Dmitry Kalinkin
62aea9510c
Merge pull request #51796 from bachp/dsview-0.99
...
dsview: init at 0.99
2018-12-21 17:40:40 -05:00
Alex Branham
a5fc513079
R: 3.5.1 -> 3.5.2
...
Closes https://github.com/NixOS/nixpkgs/pull/52571 .
2018-12-21 13:59:36 +01:00
Pascal Bach
3facb3bf79
dsview: init at 0.99
2018-12-21 10:24:16 +01:00
Samuel Dionne-Riel
3c38cc8058
Merge pull request #51813 from samueldr/aarch64/disable-non-arm-builds-part-1
...
aarch64: ZHF for aarch64 (1/??)
2018-12-20 21:06:52 -05:00
Renaud
6f5ec9d889
Merge pull request #52134 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.18.17 -> 2.18.20
2018-12-19 17:53:47 +01:00
Frederik Rietdijk
9ab61ab8e2
Merge staging-next into staging
2018-12-19 09:00:36 +01:00
volth
fed7914539
Merge branch 'staging' into make-perl-pathd
2018-12-18 17:13:27 +00:00
Renaud
921caad16d
Merge pull request #52284 from r-ryantm/auto-update/gtkwave
...
gtkwave: 3.3.95 -> 3.3.97
2018-12-17 16:23:56 +01:00
Gabriel Ebner
21597583f9
Merge pull request #52067 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 2.8.1 -> 2.8.2
2018-12-17 09:46:32 +01:00
markuskowa
96b0a38f07
Merge pull request #52015 from r-ryantm/auto-update/star
...
star: 2.6.1c -> 2.6.1d
2018-12-16 23:38:37 +01:00
Timo Kaufmann
b09967d812
sage: 8.5.rc0 -> 8.5.rc1
2018-12-16 21:33:28 +01:00
Jörg Thalheim
33c227c23b
Merge pull request #52392 from r-ryantm/auto-update/calc
...
calc: 2.12.7.1 -> 2.12.7.2
2018-12-16 17:33:43 +00:00
R. RyanTM
ae22d3dc85
cubicle: 1.1.1 -> 1.1.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cubicle/versions
2018-12-16 17:24:47 +01:00
R. RyanTM
67536060ac
calc: 2.12.7.1 -> 2.12.7.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/calc/versions
2018-12-16 07:44:09 -08:00
R. RyanTM
b26ba90c34
jmol: 14.29.28 -> 14.29.29 ( #52275 )
...
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
2018-12-16 09:22:07 +01:00
R. RyanTM
54ece098fd
gtkwave: 3.3.95 -> 3.3.97
...
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
2018-12-15 18:07:39 -08:00
Michael Raskin
2f0cbb34cf
Merge pull request #52171 from r-ryantm/auto-update/pari
...
pari: 2.11.0 -> 2.11.1
2018-12-15 12:08:50 +00:00
markuskowa
feb0aba969
Merge pull request #52153 from r-ryantm/auto-update/octopus
...
octopus: 8.2 -> 8.3
2018-12-15 11:46:44 +01:00
R. RyanTM
943e6fa283
pari: 2.11.0 -> 2.11.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/pari/versions
2018-12-14 22:17:15 -08:00
volth
bb9557eb7c
lib.makePerlPath -> perlPackages.makePerlPath
2018-12-15 03:50:31 +00:00
R. RyanTM
b8e09ad0b5
octopus: 8.2 -> 8.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/octopus/versions
2018-12-14 19:45:56 -08:00
R. RyanTM
b261fb0474
picard-tools: 2.18.17 -> 2.18.20
...
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
2018-12-14 16:27:07 -08:00
R. RyanTM
a7e1717d4b
qalculate-gtk: 2.8.1 -> 2.8.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/qalculate-gtk/versions
2018-12-14 07:37:22 -08:00
luz.paz
ab9532b1fe
gmsh: 4.0.5 -> 4.0.7
2018-12-14 08:01:20 -05:00
R. RyanTM
87481c2ff1
star: 2.6.1c -> 2.6.1d
...
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
2018-12-14 01:07:34 -08:00
Samuel Dionne-Riel
5e1dfd3025
avy: Disable build on aarch64-linux
2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
7aabdea1ca
aspino: Disable build on aarch64-linux
...
This is due to glucose not building.
2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
516f436614
glucose: Disable build on aarch64-linux
2018-12-10 14:55:20 -05:00
Timo Kaufmann
90bc5ce04d
sage: 8.5.beta5 -> 8.5.beta6
2018-12-10 19:36:24 +01:00
Timo Kaufmann
f0ea741a9a
Merge pull request #51786 from symphorien/giac-1.5
...
giac: 1.4.9 -> 1.5.0
2018-12-10 13:40:03 +01:00
Maximilian Bosch
de02111a51
Merge pull request #51534 from jbedo/bowtie2
...
bowtie2: fix missing dependencies
2018-12-10 00:58:51 +01:00
Symphorien Gibol
29242e472e
giac: build with nauty support
2018-12-09 23:18:58 +01:00
Symphorien Gibol
2253b3e760
nauty: also install libs
2018-12-09 23:18:53 +01:00
Symphorien Gibol
8b4f885264
giac: add missing optional dependencies
2018-12-09 23:18:53 +01:00
Symphorien Gibol
e7801461e0
giac: don't split in multiple outputs for when gui enabled
...
This breaks the Phys and Turtle menu, among other things.
2018-12-09 23:18:53 +01:00
Symphorien Gibol
b5435d0551
giac: 1.4.9 -> 1.5.0
2018-12-09 23:18:46 +01:00
Frederik Rietdijk
e0950ae9ad
Merge master into staging-next
2018-12-08 12:40:13 +01:00
Sebastien Maret
da314a44ea
gildas: 20181101_a -> 20181201_a
2018-12-06 12:02:05 +01:00
Justin Bedo
8c5251e3c0
bowtie2: fix missing dependencies
2018-12-05 10:51:30 +11:00
Frederik Rietdijk
a510aa2672
Merge master into staging-next
2018-12-03 12:18:43 +01:00
Timo Kaufmann
5f2b8de75c
Revert "pythonPackages.cypari2: 1.3.1 -> 2.0.1 ( #49446 )" ( #51414 )
...
This reverts commit d9b650f4cc
.
The update is causing segfaults. See
https://trac.sagemath.org/ticket/26442 .
2018-12-03 00:44:33 +01:00
markuskowa
506d4c7e44
Merge pull request #51329 from c0bw3b/cleanup/gnu-https
...
Favor HTTPS URLs - the GNU edition
2018-12-02 16:52:33 +01:00
c0bw3b
0498ccd076
Treewide: use HTTPS on GNU domains
...
HTTP -> HTTPS for :
- http://gnu.org/
- http://www.gnu.org/
- http://elpa.gnu.org/
- http://lists.gnu.org/
- http://gcc.gnu.org/
- http://ftp.gnu.org/ (except in fetchurl mirrors)
- http://bugs.gnu.org/
2018-12-02 15:51:59 +01:00