public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
169,836 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

2463 Commits

Author SHA1 Message Date
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
Frederik Rietdijk d531da6f8a
Merge pull request #54094 from rnhmjoj/shell 
treewide: use ${stdenv.shell} instead of /bin/sh where possible
 2019-01-19 14:15:51 +01: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
rnhmjoj bcf54ce5bb
treewide: use ${stdenv.shell} instead of /bin/sh where possible 2019-01-16 20:37:15 +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