JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
174,214 Commits 2 Branches 0 Tags 13 GiB
96b6a8fb0e
Commit Graph

2563 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
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
c0bw3b
0f868d8116 Treewide: use HTTPS on SourceForge 2018-12-02 15:33:08 +01:00
Jan Tojnar
a51a99c690
gobject-introspection: rename package 
camelCase package name was a huge inconsistency in GNOME package set.
 2018-12-02 12:42:29 +01:00
Brenton Horne
10f40f3ac6 scilab-bin: adding application launchers 
Moving the desktop configuration files from
opt/scilab-$ver/share/applications to share/applications, making the
required changes, and moving the icons in opt/scilab-$ver/share/icons to
share/icons. Moving locales, appdata and mime out of there
opt/scilab-${ver} too. Also removing unneeded scilab-${ver} and
scilab-${majorVer} symlinks from bin/.
 2018-12-02 17:53:40 +10:00
Brenton Horne
7041972128 scilab-bin: adding bin/scilab symlink (#51346) 
Should fix #51343, merely adding a scilab symlink within the bin/ directory, so that it can be detected by SageMath.
 2018-12-01 23:25:40 +01:00
Timo Kaufmann
88b69a0d40
Merge pull request #51337 from timokau/sagenb-matplotlib-fix 
sage: misc fixes
 2018-12-01 22:04:48 +01:00
Timo Kaufmann
0e570199de sage: fix jmol integration 2018-12-01 21:31:29 +01:00
Timo Kaufmann
cb73495f02 sagenb: fix matplotlib path 2018-12-01 20:41:40 +01:00
Timo Kaufmann
d9b650f4cc
pythonPackages.cypari2: 1.3.1 -> 2.0.1 (#49446) 2018-12-01 12:57:55 +01:00
Jan Tojnar
c5881ec2c9
Merge remote-tracking branch 'upstream/master' into staging 2018-11-30 20:09:45 +01:00
Frederik Rietdijk
1828a5c5ba Merge master into staging-next 2018-11-30 17:46:21 +01:00
Matthew Bauer
76c7a8bac0
Merge pull request #51205 from matthewbauer/more-setup-hooks 
Add premake & imake setup hook
 2018-11-29 19:36:25 -06:00
Frederik Rietdijk
9b81c7e455 Merge staging-next into staging 2018-11-29 09:18:35 +01:00
Frederik Rietdijk
9db2421d1f Merge master into staging-next 2018-11-29 08:12:56 +01:00
Matthew Bauer
c0a804c747 treewide: add dontUseImakeConfigure where needed 
We need to set dontUseImakeConfigure in a few places to prevent imake
from overriding the default configure phase. This packages all have a
configure script that needs to get run:

- Xaw3d
- R
- tkgate
- ssvnc
 2018-11-28 20:14:45 -06:00
Matthew Bauer
8a4da41849 xearth: use imake setup hook 2018-11-28 20:14:36 -06:00
Will Dietz
d7a0e03cfa
Merge pull request #51162 from dtzWill/update/z3-4.8.3 
z3: 4.8.1 -> 4.8.3
 2018-11-28 18:15:31 -06:00
Timo Kaufmann
aa053197de
Merge pull request #51191 from timokau/sage-fixes 
sage: fix test timeout and downgraded R tests
 2018-11-28 23:10:32 +01:00
Timo Kaufmann
d6376bca6d sage: don't test the downgraded R 
Fails transiently. See https://github.com/NixOS/nixpkgs/pull/49249. The
failures look harmless and are fixed with R 3.5 which will be used in
sage 8.5.
 2018-11-28 22:52:15 +01:00
Timo Kaufmann
359bf7f1e3 sage: disable test timeout 
Hydra build failed due to timeout:
https://hydra.nixos.org/build/84870983
 2018-11-28 22:37:24 +01:00
Timo Kaufmann
4900bbee17 sage: preload openblasCompat 2018-11-28 20:44:09 +01:00
Renaud
d209180c78
Merge pull request #51087 from Luz/librepcb 
librepcb: 20181031 -> 0.1.0
 2018-11-28 08:19:13 +01:00
Will Dietz
a034d90e3b z3: 4.8.1 -> 4.8.3 
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
 2018-11-27 22:00:19 -06:00
Timo Kaufmann
7ca2915a50 sage: 8.5.beta4 -> 8.5.beta5 2018-11-27 18:26:16 +01:00
Timo Kaufmann
2dd9a0ed72 Merge remote-tracking branch 'upstream/master' into sage-8.5 2018-11-27 18:25:39 +01:00
R. RyanTM
36a0335d02 picard-tools: 2.18.14 -> 2.18.17 (#50647) 
* picard-tools: 2.18.14 -> 2.18.16

Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.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/picard-tools/versions

* picard-tools: 2.18.16 -> 2.18.17

Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.17
 2018-11-27 14:31:09 +01:00
Nick Hu
583911a0b2 quantomatic: init at 0.7 2018-11-26 21:51:58 +00:00
Luz
021b6e86fa librepcb: 20181031 -> 0.1.0 2018-11-26 22:33:39 +01:00
Vladimír Čunát
a5de78b7d7
Merge branch 'master' into staging-next 2018-11-26 10:28:00 +01:00
Timo Kaufmann
90cebaf828 sage: 8.5.beta3 -> 8.5.beta4 2018-11-25 19:39:18 +01:00
Timo Kaufmann
2a87caa892 sage: 8.5.beta2 -> 8.5.beta3 2018-11-25 19:39:17 +01:00
Timo Kaufmann
3370247f7f sage: 8.5.beta1 -> 8.5.beta2 2018-11-25 19:39:17 +01:00
Timo Kaufmann
883aa99226 sage: add short tests 2018-11-25 19:39:13 +01:00
Timo Kaufmann
8e7da1b8a4 sage: 8.5.beta0 -> 8.5.beta1 2018-11-25 19:36:21 +01:00
Timo Kaufmann
6138f5d5eb sage: 8.4 -> 8.5.beta0 2018-11-25 19:36:21 +01:00
Timo Kaufmann
2fbde72556
sage: add tkinter as matplotlib backend (#51032) 
Fixes #50959.
 2018-11-25 17:38:45 +01:00
Timo Kaufmann
98c94d3d7d sage: add jupyter notebook support 
Fixes #48544.
 2018-11-25 15:54:31 +01:00
Timo Kaufmann
0c23fa9aaf
Merge pull request #50998 from timokau/sage-refactor 
Sage refactor
 2018-11-24 23:59:28 +01:00
Timo Kaufmann
a0723f1285 sage: don't fix node version 2018-11-24 23:14:38 +01:00
Timo Kaufmann
e28a8ed287 sage: add some flexibility to the test runner 
Make it possible to run individual tests. This is very useful while
git-bisecting.
 2018-11-24 23:14:38 +01:00
Timo Kaufmann
21f9123ea6 sage: remove openblas hack 
The pc files have since been included into the openblas package.
 2018-11-24 23:14:38 +01:00
Timo Kaufmann
3832ddedb9 sage: refactor 2018-11-24 23:14:33 +01:00
c0bw3b
0ea604ac1d Treewide: use https for SourceForge 2018-11-24 19:58:03 +01:00
Timo Kaufmann
9b4a518465 sage: drop known-padics-failure patch 
The failure was not observed for a while and is probably fixed now.
 2018-11-24 19:01:57 +01:00
Timo Kaufmann
ca6475b5e8 sage: drop unused patches 2018-11-24 19:01:57 +01:00
Frederik Rietdijk
c1792242ef Merge staging-next into staging 2018-11-24 10:44:50 +01:00
Frederik Rietdijk
e41154d1ab Merge master into staging-next 2018-11-24 10:43:33 +01:00
Gabriel Ebner
4e1323a0cf vampire: fix nondeterministic hash 
Probably related to #8567
 2018-11-22 14:15:55 +01:00
Michael Raskin
6fe39605df polymake: init at 3.2r4 2018-11-22 12:29:14 +03:00
Frederik Rietdijk
2219e2578e Merge staging-next into staging 2018-11-22 10:10:40 +01:00
Frederik Rietdijk
c31cb577ae Merge master into staging-next 2018-11-22 09:57:08 +01:00
worldofpeace
2e70b40f58
Merge pull request #49376 from dpaetzel/package-netlogo 
NetLogo: init 6.0.4
 2018-11-21 21:37:01 -05:00
Frederik Rietdijk
fed881e510 Merge staging-next into staging 2018-11-21 12:39:46 +01:00
Frederik Rietdijk
701375662b Merge master into staging-next 2018-11-21 12:39:20 +01:00
Gabriel Ebner
f505340252 iprover: 2.5 -> 2018_Jul_24_11h 2018-11-21 12:15:48 +01:00
David Pätzel
fa623ad828 netlogo: init 6.0.4 2018-11-21 09:38:22 +01:00
Matthew Bauer
d492f53faf
Merge pull request #50527 from matthewbauer/ninja-check-phase 
Add check phase to ninja setup hook
 2018-11-20 16:55:12 -06:00
markuskowa
0e98312b72
Merge pull request #50734 from r-ryantm/auto-update/gromacs 
gromacs: 2018.3 -> 2018.4
 2018-11-20 22:14:05 +01:00
Frederik Rietdijk
aabf1a93bc Merge staging-next into staging 2018-11-20 11:51:11 +01:00
Frederik Rietdijk
fd26e7be2a Merge master into staging-next 2018-11-20 11:47:26 +01:00
Renaud
6550c0275e
Merge pull request #50703 from r-ryantm/auto-update/ltl2ba 
ltl2ba: 1.2b1 -> 1.2
 2018-11-19 22:21:52 +01:00
luzpaz
0ec2af3736
gmsh: 4.0.4 -> 4.0.5 
Manually updated
 2018-11-19 11:12:38 -05:00
R. RyanTM
08a0192340 gromacs: 2018.3 -> 2018.4 
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
 2018-11-19 06:47:47 -08:00
R. RyanTM
5648699f6c ltl2ba: 1.2b1 -> 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/ltl2ba/versions
 2018-11-19 02:28:38 -08:00
Frederik Rietdijk
e343a85cfb Merge master into staging-next 2018-11-19 09:55:32 +01:00
Matthew Bauer
2c47a4229f treewide: remove ctest usages 
These are already in the generated makefiles!
 2018-11-18 19:31:02 -06:00
Matthew Bauer
2c1d3a9a82 Merge remote-tracking branch 'upstream/master' into staging 2018-11-18 19:02:09 -06:00
Jörg Thalheim
1282ba6ac4
Merge pull request #50554 from r-ryantm/auto-update/verilator 
verilator: 4.004 -> 4.006
 2018-11-18 12:18:45 +00:00
Frederik Rietdijk
0d0d7dcd06 Merge staging-next into staging 2018-11-18 10:41:34 +01:00
Frederik Rietdijk
63c6875f26 Merge master into staging-next 2018-11-18 10:32:12 +01:00
R. RyanTM
ee521455da verilator: 4.004 -> 4.006 
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-11-18 00:14:21 -08:00
Renaud
44f24a1b8c
Merge pull request #50474 from Pneumaticat/boinc-update 
boinc: 7.8.0 -> 7.14.2
 2018-11-17 12:03:09 +01:00
Jörg Thalheim
131f2e93b6
sage: unpin nodePackage version 2018-11-16 21:24:25 +00:00
Kevin Liu
c93b16829c
boinc: 7.8.0 -> 7.14.2 2018-11-16 15:52:22 -05:00
Ben Darwin
cb6d819b93 niftyseg: init at 1.0.0 2018-11-16 12:29:29 -05:00
Ben Darwin
6aa3deeb50 niftyreg: init at 1.3.9 2018-11-16 12:24:53 -05:00
Jörg Thalheim
218f12db70
Merge pull request #50324 from asymmetric/solc 
solc: 0.4.25 -> 0.5.0
 2018-11-15 21:26:32 +00:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64 
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
 2018-11-15 21:25:53 +00:00
Piotr Bogdan
5d0eeeee38 coq2html: switch to default make 2018-11-15 17:41:25 +00:00
Gabriel Ebner
b1c149d47a tptp: use urls instead of url 
nix-prefetch-url breaks if the url argument to fetchurl is a list.
 2018-11-15 15:56:18 +01:00
Gabriel Ebner
b3844d00f6 tptp: 7.1.0 -> 7.2.0 2018-11-15 15:50:48 +01:00
Renaud
650036f022
Merge pull request #50359 from jfrankenau/gurobi-java 
gurobi: install Java library files
 2018-11-15 14:13:47 +01:00
Johannes Frankenau
b4e13e6257 gurobi: install Java library files 2018-11-14 19:38:18 +01:00
Jörg Thalheim
987bd62232
Merge pull request #50232 from wucke13/master 
qgroundcontrol: fixes #49870
 2018-11-14 17:10:05 +00:00
Renaud
7ca9d67948
Merge pull request #50102 from r-ryantm/auto-update/gp2c 
gp2c: 0.0.11 -> 0.0.11pl1
 2018-11-14 16:07:49 +01:00
wucke13
c26b42be74 qgroundcontrol: fixes #49870 
The `.desktop` referenced a non existent script to run `QGroundControl`. This commits adds a `sed` command, which replaces the non existent script by the name of the `QGroundControl` binary in the relevant `.desktop` file.
 2018-11-14 13:12:20 +01:00
markuskowa
f597a88542
Merge pull request #50101 from r-ryantm/auto-update/gmsh 
gmsh: 4.0.2 -> 4.0.4
 2018-11-14 12:46:48 +01:00
Markus Kowalewski
644ab709e7
gmsh: restrict platform to x86_64-linux 2018-11-14 12:33:37 +01:00
Markus Kowalewski
ced40eabfd
gmsh: use openblas instead of atlas/lapack 
* openblas is properly recognized by cmake
* the cmake patch is no longer neccessary
 2018-11-14 11:41:46 +01:00