Commit Graph

1851 Commits

Author SHA1 Message Date
Daiderd Jordan
23d0c17130
picosat: fix darwin build
/cc ZHF #36454
2018-03-24 02:11:58 +01:00
Adam Washington
392def733b
Remove lint from Sasview package 2018-03-22 17:44:27 +00:00
Matthew Justin Bauer
64a1fd6c69
Merge pull request #37224 from matthewbauer/auto-update/jags
jags: 4.1.0 -> 4.3.0
2018-03-21 23:42:39 -05:00
Austin Seipp
011e70155b symbiyosys: 2018.03.07 -> 2018.03.21
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-21 16:05:10 -05:00
Ryan Mulligan
8f75a58081 verilator: 3.920 -> 3.922
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin_dbg -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin_dbg --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage_bin_dbg -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage_bin_dbg --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_profcfunc help` got 0 exit code
- found 3.922 with grep in /nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922
- directory tree listing: https://gist.github.com/04b5044a54bb4ff549696cbcd57cd88e
2018-03-21 13:09:37 -05:00
Vincent Laporte
6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
Adam Washington
01c1385dec
Make xhtml2pdf its own package in python-packages
xhtml2pdf now uses the main package html5lib with just an override to
pull the correct version number.
2018-03-21 13:46:17 +00:00
timor
42368e23f5 workcraft: init at 3.1.9 2018-03-21 14:27:12 +01:00
Matthew Justin Bauer
7452996ac6
Merge pull request #36381 from bgamari/bump-kicad
kicad-unstable: Bump git commit
2018-03-19 15:28:58 -05:00
Matthew Justin Bauer
964c32bcb3
Merge pull request #36846 from jbedo/snpeff
snpeff: 4.3t -> 4.3q
2018-03-19 12:26:33 -05:00
Jörg Thalheim
6e22dd9ee8
Merge pull request #37356 from volth/gephi-from-sources
gephi: build from sources
2018-03-19 11:23:43 +00:00
Matthew Justin Bauer
9f58d17d10
Merge pull request #37079 from ryantm/auto-update/picard-tools
picard-tools: 2.17.10 -> 2.17.11
2018-03-19 04:04:50 -05:00
volth
1e2eec169a gephi: build from sources 2018-03-19 08:45:24 +00:00
Matthew Justin Bauer
04e6a14df4
Merge pull request #36744 from samdroid-apps/add-nasc
nasc: init at 0.4.6
2018-03-19 03:41:24 -05:00
Gabriel Ebner
faf094adef
Merge pull request #36435 from timokau/origin/ecm-update
ecm: 6.4.4 -> 7.0.4
2018-03-18 13:08:34 +01:00
Gabriel Ebner
7072d11391
Merge pull request #37194 from ryantm/auto-update/gp2c
gp2c: 0.0.10 -> 0.0.10pl1
2018-03-18 12:04:08 +01:00
Gabriel Ebner
5693c5da8e
Merge pull request #36986 from ryantm/auto-update/fricas
fricas: 1.3.2 -> 1.3.3
2018-03-17 13:56:26 +01:00
Gabriel Ebner
5df4f227ec
Merge pull request #37009 from ryantm/auto-update/igv
igv: 2.4.8 -> 2.4.9
2018-03-17 13:43:23 +01:00
Gabriel Ebner
fe7d82e6a6
Merge pull request #36933 from Ma27/fix-aspino
aspino: fix build
2018-03-17 13:06:23 +01:00
Maximilian Bosch
29bc0a00a1
aspino: fix build
Aspino patched `libglucose` for their own uses, however they currently
depend on glucose v4.0.
(see e31c3b4e57/patches)

The patches don't apply properly on `glucose-4.1` anymore, furthermore
the new source directory caused the `bootstrap.sh` from `aspino` which
was supposed to apply the patches and recompile the setup to break.

Furthermore some minor changes to the derivation were introduced:

- upgraded from `2016-01-31` to `2017-03-09`
- the name contains an `-unstable-` infix as upstream has no releases
- instead of a `patchPhase` the `postPatch` hook will be used for
  `substituteInPlace` to keep advanced patching features from `nixpkgs`
  available.
- `patchShebangs` will be called to avoid impurities because of the
  implicit reliance on `/bin/sh`
- added myself as second maintainer to have more people available in
  case of any further breackage

See https://hydra.nixos.org/build/70688471/log
See ticket #36453
2018-03-17 13:02:51 +01:00
Matthew Bauer
e2d12274c2 jags: 4.1.0 -> 4.3.0
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 4.3.0 with grep in /nix/store/aw897502z5bcn6dw6rp7jca90flfrjab-JAGS-4.3.0
2018-03-17 02:02:11 -05:00
Austin Seipp
c108e67825
Merge pull request #37063 from ryantm/auto-update/ltl2ba
ltl2ba: 1.1 -> 1.2b1
2018-03-16 17:12:02 -05:00
Ryan Mulligan
3e2f544c39 gp2c: 0.0.10 -> 0.0.10pl1
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c -h` got 0 exit code
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c -v` and found version 0.0.10pl1
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c -h` and found version 0.0.10pl1
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run -h` got 0 exit code
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run --help` got 0 exit code
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run -h` and found version 0.0.10pl1
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run --help` and found version 0.0.10pl1
- found 0.0.10pl1 with grep in /nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1
- directory tree listing: https://gist.github.com/27f1364bf90110b801070fcb28c64e0e
2018-03-16 12:51:03 -07:00
Peter Simons
276001c51b
Merge pull request #37180 from peti/r-updates
Update R and its packages
2018-03-16 17:37:19 +01:00
Tuomas Tynkkynen
ef64208eba Merge commit '3ab2949' from staging into master
Conflicts:
	pkgs/development/compilers/llvm/6/llvm.nix
	pkgs/servers/home-assistant/component-packages.nix
2018-03-15 22:30:56 +02:00
Peter Simons
d46a4b9829 R: 3.4.3 -> 3.4.4 2018-03-15 18:32:14 +01:00
Ryan Mulligan
892244dda0 picard-tools: 2.17.10 -> 2.17.11
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 2.17.11 with grep in /nix/store/xmlvcz212yl8bij12jpqibhv8c8mqabs-picard-tools-2.17.11
- found 2.17.11 in filename of file in /nix/store/xmlvcz212yl8bij12jpqibhv8c8mqabs-picard-tools-2.17.11
2018-03-15 01:16:28 -07:00
Ryan Mulligan
9e0ce6562a ltl2ba: 1.1 -> 1.2b1
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.2b1 in filename of file in /nix/store/jx5s7w6bmd6lfqvxl2lly3ggd4k9ncax-ltl2ba-1.2b1
2018-03-14 21:06:53 -07:00
Joachim F
51474dbf7c
Merge pull request #36627 from ryantm/auto-update/ngspice
ngspice: 26 -> 27
2018-03-14 21:13:22 +00:00
Joachim F
c1ce856fa4
Merge pull request #36591 from ryantm/auto-update/gtkwave
gtkwave: 3.3.86 -> 3.3.87
2018-03-14 21:04:51 +00:00
Joachim F
b46fe9398b
Merge pull request #36658 from ryantm/auto-update/paml
paml: 4.9c -> 4.9g
2018-03-14 20:20:47 +00:00
Joachim F
d703988c2b
Merge pull request #36483 from ryantm/auto-update/calc
calc: 2.12.6.3 -> 2.12.6.6
2018-03-14 19:37:27 +00:00
Ryan Mulligan
9b4c82d366 igv: 2.4.8 -> 2.4.9
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 2.4.9 with grep in /nix/store/q5c9jyg6gc4v3ns7rw5lxj7v4v916a7f-igv-2.4.9
- found 2.4.9 in filename of file in /nix/store/q5c9jyg6gc4v3ns7rw5lxj7v4v916a7f-igv-2.4.9
2018-03-14 12:04:23 -07:00
Ryan Mulligan
bf06f445dd fricas: 1.3.2 -> 1.3.3
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- ran `/nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3/bin/fricas -h` got 0 exit code
- ran `/nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3/bin/fricas -h` and found version 1.3.3
- ran `/nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3/bin/efricas --help` got 0 exit code
- found 1.3.3 with grep in /nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3
2018-03-14 08:04:41 -07:00
Tuomas Tynkkynen
2fec9c6e29 Merge remote-tracking branch 'upstream/master' into staging
Conflicts:
	pkgs/development/tools/build-managers/conan/default.nix
2018-03-13 23:04:18 +02:00
volth
7ec0471242 treewide: s/xlibs/xorg/g (#36889) 2018-03-13 10:16:03 +00:00
Daiderd Jordan
a6bf2b21d5
Merge pull request #36873 from jfrankenau/update-bcal
bcal: 1.7 -> 1.8
2018-03-12 19:49:20 +01:00
Johannes Frankenau
59cc47d802 bcal: 1.7 -> 1.8
The tests failed for a good reason on Darwin and should not have been
disabled. The issue has been resolved upstream with version 1.8 which
now also supports AArch64.
2018-03-12 18:36:26 +01:00
Vincent Laporte
903f4dd3d4
clingo: fix build on non-sandboxed darwin 2018-03-12 17:07:18 +00:00
Vincent Laporte
eedc173276
clingo: fix URL 2018-03-12 16:51:54 +00:00
Michael Raskin
fafeac185b tptp: 7.0.0 -> 7.1.0 2018-03-12 16:58:21 +01:00
Adam Washington
73ed353d27 sasview: init at 4.1.2
Sasview is a data fitting and analysis package for small angle
scattering data.  More information can be found at
https://www.sasview.org.

There is some unfortunate cruft to this commit.  SasView uses the
xhtml2pdf python package, which has a specific version of html5lib as
a dependency.  This module manually loads that version into sasview.
I haven't made xhtml2pdf available as its own package due to these
circumstances.
2018-03-12 09:22:06 +00:00
Justin Bedo
f48ff649fe
snpeff: 4.3t -> 4.3q 2018-03-12 16:03:44 +11:00
Jan Malakhovski
7079e744d4 Merge branch 'master' into staging
Resolved the following conflicts (by carefully applying patches from the both
branches since the fork point):

   pkgs/development/libraries/epoxy/default.nix
   pkgs/development/libraries/gtk+/3.x.nix
   pkgs/development/python-modules/asgiref/default.nix
   pkgs/development/python-modules/daphne/default.nix
   pkgs/os-specific/linux/systemd/default.nix
2018-03-10 20:38:13 +00:00
Michael Raskin
d44221d768
Merge pull request #36726 from ryantm/auto-update/yarp
yarp: 2.3.68 -> 2.3.70.2
2018-03-10 18:41:05 +00:00
Ben Gamari
d39cd7aad5 kicad-unstable: 2017-12-11 -> 2018-03-10
This is much closer to what will become the final kicad 5 release.
2018-03-10 13:13:18 -05:00
Michael Raskin
2093d4781d sage: set platforms to the set where I can build it; Hydra ARM builds seem to fail 2018-03-10 13:50:11 +01:00
Sam Parkinson
28a67ec16a
nasc: init at 0.4.6 2018-03-10 22:21:36 +11:00
Ryan Mulligan
acf77c3888 yarp: 2.3.68 -> 2.3.70.2
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpidl_rosmsg -h` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpidl_rosmsg --help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpidl_rosmsg help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpserver --help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarp help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarp version` and found version 2.3.70.2
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarp-config --help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarp-config --version` and found version 2.3.70.2
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpdev -h` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpdev --help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpdev help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpmanager-console --help` got 0 exit code
- ran `/nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2/bin/yarpdatadumper --help` got 0 exit code
- found 2.3.70.2 with grep in /nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2
- found 2.3.70.2 in filename of file in /nix/store/bp68k0rdxw13rxgy93lqlqmrmprz272g-yarp-2.3.70.2
2018-03-09 19:41:31 -08:00
Graham Christensen
05db7ca765
Merge pull request #36553 from ryantm/auto-update/gmsh
gmsh: 3.0.5 -> 3.0.6
2018-03-09 17:25:29 -05:00
Graham Christensen
d2429e0045
Merge pull request #36537 from ryantm/auto-update/ginac
ginac: 1.7.2 -> 1.7.4
2018-03-09 17:20:53 -05:00
Daiderd Jordan
43be4ebfb1
Merge pull request #36581 from matthewbauer/darwin-fixes
darwin: fixes
2018-03-09 19:32:54 +01:00
Ryan Mulligan
49272f60dd paml: 4.9c -> 4.9g
Semi-automatic update. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 4.9g in filename of file in /nix/store/70p59yxnlzhbj8ig1ax8lrrsdbcf37zp-paml-4.9g
2018-03-09 07:22:27 -08:00
Ryan Mulligan
9e3690e87c ngspice: 26 -> 27
Semi-automatic update. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 27 with grep in /nix/store/73sh9hf5c9fjgh962pd1ac16kr8dvzxg-ngspice-27
- found 27 in filename of file in /nix/store/73sh9hf5c9fjgh962pd1ac16kr8dvzxg-ngspice-27
2018-03-09 02:55:13 -08:00
Austin Seipp
de1cb85b20 symbiyosys: 2018.02.04 -> 2018.03.07
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-08 21:23:20 -06:00
Ryan Mulligan
7844ae2366 gtkwave: 3.3.86 -> 3.3.87
Semi-automatic update. These checks were done:

- built on NixOS
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/evcd2vcd --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fst2vcd -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fst2vcd --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fst2vcd -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fst2vcd -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fst2vcd --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fst2vcd -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fst2vcd --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2fst help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fstminer -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fstminer --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fstminer -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fstminer -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fstminer --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fstminer -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/fstminer --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2miner -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2miner --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2miner -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2miner -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2miner --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2miner -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2miner --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2vcd -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2vcd --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2vcd -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2vcd -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2vcd --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2vcd -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/lxt2vcd --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/shmidcat -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/shmidcat --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2lxt2 help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vcd2vzt help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vzt2vcd -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vzt2vcd --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vzt2vcd -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vzt2vcd -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vzt2vcd --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vzt2vcd -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vzt2vcd --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vztminer -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vztminer --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vztminer -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vztminer -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vztminer --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vztminer -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vztminer --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave -V` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave -v` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave --version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave version` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave -h` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave --help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/gtkwave help` and found version 3.3.87
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vermin -h` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vermin --help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vermin help` got 0 exit code
- ran `/nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87/bin/vermin -h` and found version 3.3.87
- found 3.3.87 with grep in /nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87
- found 3.3.87 in filename of file in /nix/store/4zxs7f77kc86xgy6k86cb8471l2kndax-gtkwave-3.3.87
2018-03-08 17:24:39 -08:00
Ryan Mulligan
695a62e777 gromacs: 4.6.7 -> 2018
Semi-automatic update. These checks were done:

- built on NixOS
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/GMXRC.bash -h` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/GMXRC.bash --help` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/GMXRC.bash help` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/GMXRC.zsh -h` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/GMXRC.zsh --help` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/GMXRC.zsh help` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/gmx -h` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/gmx help` got 0 exit code
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/gmx --version` and found version 2018
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/gmx -h` and found version 2018
- ran `/nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018/bin/gmx help` and found version 2018
- found 2018 with grep in /nix/store/i2ls9z094j6a3vqvq6gz4hyhl86dh31d-gromacs-2018
2018-03-08 15:30:04 -08:00
Matthew Bauer
54e2c28b09 darwin: disable broken packages 2018-03-08 17:21:17 -06:00
wchresta
c6d3f0d3c6 tamarin-prover: 1.3.0 -> 1.3.1 2018-03-08 21:03:18 +01:00
Ryan Mulligan
365a2e5acc gmsh: 3.0.5 -> 3.0.6
Semi-automatic update. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 3.0.6 with grep in /nix/store/ha4gl4kswiq7pz4chb1ba9ixb51rcdsn-gmsh-3.0.6
- found 3.0.6 in filename of file in /nix/store/ha4gl4kswiq7pz4chb1ba9ixb51rcdsn-gmsh-3.0.6
2018-03-08 11:29:17 -08:00
Ryan Mulligan
e729cebdc9 ginac: 1.7.2 -> 1.7.4
Semi-automatic update. These checks were done:

- built on NixOS
- ran `/nix/store/36kx0mbdfnf20mfrcicwgplcz0sibvpk-ginac-1.7.4/bin/viewgar -h` got 0 exit code
- ran `/nix/store/36kx0mbdfnf20mfrcicwgplcz0sibvpk-ginac-1.7.4/bin/viewgar --help` got 0 exit code
- ran `/nix/store/36kx0mbdfnf20mfrcicwgplcz0sibvpk-ginac-1.7.4/bin/viewgar help` got 0 exit code
- found 1.7.4 with grep in /nix/store/36kx0mbdfnf20mfrcicwgplcz0sibvpk-ginac-1.7.4
- found 1.7.4 in filename of file in /nix/store/36kx0mbdfnf20mfrcicwgplcz0sibvpk-ginac-1.7.4
2018-03-08 08:40:52 -08:00
Ryan Mulligan
89fca29099 gfan: 0.6 -> 0.6.2
Semi-automatic update. These checks were done:

- built on NixOS
- ran `/nix/store/gdzrfmvi5x26is0hbv0yyg5s61cxm7dy-gfan-0.6.2/bin/gfan --help` got 0 exit code
- found 0.6.2 with grep in /nix/store/gdzrfmvi5x26is0hbv0yyg5s61cxm7dy-gfan-0.6.2
- found 0.6.2 in filename of file in /nix/store/gdzrfmvi5x26is0hbv0yyg5s61cxm7dy-gfan-0.6.2
2018-03-08 07:52:17 -08:00
Ryan Mulligan
6edbf98d34 calc: 2.12.6.3 -> 2.12.6.6
Semi-automatic update. These checks were done:

- built on NixOS
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere -V` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere -v` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere --version` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere version` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere -h` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere --help` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/4dsphere help` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/fproduct -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/fproduct --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/fproduct help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/mersenne -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/mersenne --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/mersenne help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/piforever -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/piforever -v` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus -v` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus --version` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus version` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus --help` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/plus help` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/powerterm -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/powerterm --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/powerterm help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/simple -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/simple --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/simple help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/simple -v` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/square -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/square --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/square help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/cscript/square -v` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/calc -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/calc --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/calc help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/calc -v` and found version 2.12.6.6
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/.calc-wrapped -h` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/.calc-wrapped --help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/.calc-wrapped help` got 0 exit code
- ran `/nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6/bin/.calc-wrapped -v` and found version 2.12.6.6
- found 2.12.6.6 with grep in /nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6
- found 2.12.6.6 in filename of file in /nix/store/mdjaq6pgxp9qrfg9s7iaavj2rsvjqh9q-calc-2.12.6.6
2018-03-07 20:08:56 -08:00
Timo Kaufmann
77d1fdb2c1 ecm: 6.4.4 -> 7.0.4 2018-03-07 18:28:26 +01:00
Robin Gloster
50cdd5f02b
shogun: add patch for json-c 0.13 2018-03-05 22:00:03 +01:00
Vladimír Čunát
565bd805e6
Merge branch 'master' 2018-03-05 14:53:27 +01:00
Roger Qiu
30ba063dc3 gpredict: Added hamlib to buildInputs to control radios, and wrapped with wrapGAppsHook to fix gnome errors 2018-03-04 16:30:21 +11:00
Timo Kaufmann
4f239f9d49 sage: Make build more platform independant 2018-03-04 01:36:31 +01:00
Austin Seipp
7270f2139a tlaplus: init at 1.5.6
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-02 21:20:54 -06:00
Frederik Rietdijk
810dd0f984 Merge remote-tracking branch 'upstream/master' into HEAD 2018-03-01 20:00:42 +01:00
Ryan Mulligan
a4809a57e1 root: 6.10.08 -> 6.12.06
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/genreflex -h` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/genreflex --help` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/pq2 -h` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/rootn.exe -h` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/rootn.exe --help` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/rootn.exe -h` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/rootn.exe --help` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/xpdtest -h` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/xpdtest --help` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/root.exe -h` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/root.exe --help` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/root.exe -h` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/root.exe --help` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/root-config --help` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/root-config --version` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory -h` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory --help` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory help` got 0 exit code
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory -V` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory -v` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory --version` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory version` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory -h` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory --help` and found version 6.12.06
- ran `/nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06/bin/prepareHistFactory help` and found version 6.12.06
- found 6.12.06 with grep in /nix/store/4gcl610xv4sj6vzwnksm825qp29f8ibx-root-6.12.06

cc "@veprbl"
2018-03-01 15:39:08 +01:00
Tuomas Tynkkynen
b8b2225f6b Merge remote-tracking branch 'upstream/master' into staging 2018-03-01 06:09:20 +02:00
Ryan Mulligan
75072efb4b tulip: 4.9.0 -> 5.1.0
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/z17wdp6l55y3b18875c9zj2pw1lywrqd-tulip-5.1.0/bin/tulip-config -h` got 0 exit code
- ran `/nix/store/z17wdp6l55y3b18875c9zj2pw1lywrqd-tulip-5.1.0/bin/tulip-config --help` got 0 exit code
- ran `/nix/store/z17wdp6l55y3b18875c9zj2pw1lywrqd-tulip-5.1.0/bin/tulip-config help` got 0 exit code
- ran `/nix/store/z17wdp6l55y3b18875c9zj2pw1lywrqd-tulip-5.1.0/bin/tulip-config --version` and found version 5.1.0
- found 5.1.0 with grep in /nix/store/z17wdp6l55y3b18875c9zj2pw1lywrqd-tulip-5.1.0

cc ""
2018-02-28 20:33:39 +00:00
Tuomas Tynkkynen
34f95d92a2 Merge remote-tracking branch 'upstream/master' into staging
Conflicts:
	pkgs/applications/misc/pytrainer/default.nix
	pkgs/development/tools/pew/default.nix
	pkgs/tools/misc/you-get/default.nix
2018-02-28 20:52:49 +02:00
Ryan Mulligan
0c69b50356 picard-tools: 2.17.4 -> 2.17.10
Semi-automatic update. These checks were performed:

- built on NixOS
- found 2.17.10 with grep in /nix/store/f74zildbrr99qmp5qkb579x9159n88c6-picard-tools-2.17.10
- found 2.17.10 in filename of file in /nix/store/f74zildbrr99qmp5qkb579x9159n88c6-picard-tools-2.17.10

cc "@jbedo"
2018-02-28 15:02:46 +00:00
Ryan Mulligan
2fe9ca05e4 pari: 2.9.3 -> 2.9.4
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/tex2mail help` got 0 exit code
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gphelp --help` got 0 exit code
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gphelp help` got 0 exit code
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gp-2.9 -h` got 0 exit code
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gp-2.9 --help` got 0 exit code
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gp-2.9 -V` and found version 2.9.4
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gp-2.9 -v` and found version 2.9.4
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gp-2.9 --version` and found version 2.9.4
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gp-2.9 -h` and found version 2.9.4
- ran `/nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4/bin/gp-2.9 --help` and found version 2.9.4
- found 2.9.4 with grep in /nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4
- found 2.9.4 in filename of file in /nix/store/v2rvjr4kl79kmn1w70lj7zf0dz00p3mf-pari-2.9.4

cc "@ertes @raskin @AndersonTorres"
2018-02-28 14:27:07 +00:00
Peter Simons
09f18d3baf
Merge pull request #36094 from ryantm/auto-update/wxmaxima-17.10.1-to-18.02.0
wxmaxima: 17.10.1 -> 18.02.0
2018-02-28 13:40:02 +01:00
Ryan Mulligan
9394e70b0d verilator: 3.900 -> 3.920
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin_dbg -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin_dbg --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage_bin_dbg -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage_bin_dbg --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_profcfunc help` got 0 exit code
- found 3.920 with grep in /nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920
- found 3.920 in filename of file in /nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920

cc "@thoughtpolice"
2018-02-28 12:36:17 +01:00
Ryan Mulligan
84091451ec wxmaxima: 17.10.1 -> 18.02.0
Semi-automatic update. These checks were performed:

- built on NixOS
- found 18.02.0 with grep in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0
- found 18.02.0 in filename of file in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0

cc "@peti"
2018-02-27 19:05:41 -08:00
Frederik Rietdijk
405407fcf5
Merge pull request #35680 from NixOS/python-unstable
Python: last major updates package set
2018-02-27 09:16:47 +00:00
Frederik Rietdijk
b45845f228
Merge pull request #35713 from ryantm/auto-update/fricas-1.3.1-to-1.3.2
fricas: 1.3.1 -> 1.3.2
2018-02-27 08:12:42 +00:00
Frederik Rietdijk
671e405332
Merge pull request #35720 from ryantm/auto-update/igv-2.4.6-to-2.4.8
igv: 2.4.6 -> 2.4.8
2018-02-27 08:09:50 +00:00
Ryan Mulligan
be7cd20d3c lp_solve: 5.5.2.0 -> 5.5.2.5
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5/bin/lp_solve -h` got 0 exit code
- ran `/nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5/bin/lp_solve -h` and found version 5.5.2.5
- found 5.5.2.5 with grep in /nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5
- found 5.5.2.5 in filename of file in /nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5

cc "@smironov"
2018-02-26 21:57:53 -08:00
Ryan Mulligan
d1dc4cae54 igv: 2.4.6 -> 2.4.8
Semi-automatic update. These checks were performed:

- built on NixOS
- found 2.4.8 with grep in /nix/store/3vwg5hpprkm3v345fy05gxdjicfakql7-igv-2.4.8
- found 2.4.8 in filename of file in /nix/store/3vwg5hpprkm3v345fy05gxdjicfakql7-igv-2.4.8

cc "@mimadrid"
2018-02-26 19:11:52 -08:00
Frederik Rietdijk
cd528ddd8e python: spyder: 3.2.6 -> 3.2.7 2018-02-26 18:44:17 +01:00
Ryan Mulligan
4440d28fbd fricas: 1.3.1 -> 1.3.2
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/fricas -h` got 0 exit code
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/fricas -h` and found version 1.3.2
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/efricas --help` got 0 exit code
- found 1.3.2 with grep in /nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2

cc "@sprock"
2018-02-26 06:28:48 -08:00
adisbladis
e046d8bc08
Merge pull request #35555 from ryantm/auto-update/bcftools-1.6-to-1.7
bcftools: 1.6 -> 1.7
2018-02-26 17:39:46 +08:00
Ryan Mulligan
72a22296dd cryptoverif: 1.22 -> 1.28
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code
- found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
- found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
2018-02-26 08:32:20 +01:00
Jan Tojnar
c65cd765f6
gpredict: 1.3 → 2.2.1 2018-02-26 05:26:41 +01:00
adisbladis
e8d0563638
Merge pull request #35566 from ryantm/auto-update/bowtie2-2.3.4-to-2.3.4.1
bowtie2: 2.3.4 -> 2.3.4.1
2018-02-26 09:47:03 +08:00
adisbladis
780e1a34e1
Merge pull request #35583 from ryantm/auto-update/cbc-2.9.5-to-2.9.9
cbc: 2.9.5 -> 2.9.9
2018-02-26 09:33:53 +08:00
Ryan Mulligan
79795b44f9 cbc: 2.9.5 -> 2.9.9
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/clp help` got 0 exit code
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/clp version` and found version 2.9.9
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/clp help` and found version 2.9.9
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/cbc help` got 0 exit code
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/cbc version` and found version 2.9.9
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/cbc help` and found version 2.9.9
- found 2.9.9 with grep in /nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9
- found 2.9.9 in filename of file in /nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9
2018-02-25 14:03:37 -08:00
Nikolay Amiantov
7f1b8d744f cntk: fix build without CUDA 2018-02-25 22:50:20 +03:00
Nikolay Amiantov
3179002f61 mxnet: 0.11.0 -> 1.1.0 2018-02-25 22:24:09 +03:00
Nikolay Amiantov
6f96122d5b caffe: add nccl support 2018-02-25 22:24:09 +03:00
Nikolay Amiantov
25079ad238 caffe: depend on opencv3
openblas is used since it's propagated from OpenCV and ATLAS compiled without
architecture-specific optimizations is generally slower than OpenBLAS as I
heard.
2018-02-25 22:24:09 +03:00
Nikolay Amiantov
1bfca90bf7 cntk: 2.2 -> 2.4
Comment for `broken` indicates that it never worked at all, which is strange
since on my machine it did. Anyway it works now for me.
2018-02-25 22:24:09 +03:00
Nikolay Amiantov
08f8ad26b3 treewide: unquote homepage in my packages
I don't like this personally but we have #27809 as a precedent.
2018-02-25 22:24:08 +03:00
Ryan Mulligan
bc730862d5 bowtie2: 2.3.4 -> 2.3.4.1
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect -V` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect -v` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build -V` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build -v` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 --help` and found version 2.3.4.1
- found 2.3.4.1 with grep in /nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1
- found 2.3.4.1 in filename of file in /nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1
2018-02-25 09:45:04 -08:00
Ryan Mulligan
9af7602b8a bcftools: 1.6 -> 1.7
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -h` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --help` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools help` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -v` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --version` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools version` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -h` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --help` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools help` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/plot-vcfstats -h` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/plot-vcfstats --help` got 0 exit code
- found 1.7 with grep in /nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7
2018-02-25 09:02:06 -08:00
Jan Tojnar
a31d98f312
tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
Alexander V. Nikolaev
0acec7e984 treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
Alexander V. Nikolaev
1bc1909e5b treewide: transition from mesa_glu to libGLU 2018-02-24 17:05:43 +02:00
Gabriel Ebner
f5b173ffbc qalculate-gtk: 2.1.0 -> 2.2.1 2018-02-24 11:54:53 +01:00
Timo Kaufmann
89162cdd29 sage: explicitly use gfortran6
The recent change from gfortran=gfortran6 to gfortran=gfortran7 broke
the build.
2018-02-23 17:00:21 +01:00
Johannes Frankenau
74029a21bf bcal: init at 1.7 2018-02-21 00:05:16 +01:00
Vladimír Čunát
b5aaaf87a7
Merge staging and PR #35021
It's the last staging commit (mostly) built on Hydra,
and a minimal fix for Darwin regression in pysqlite.
2018-02-16 09:13:12 +01:00
John Wiegley
90252481bf coq: 8.7.1 -> 8.7.2 2018-02-15 23:12:43 -08:00
Vincent Laporte
e75009ecdc
eprover: fix build in non-GCC environments 2018-02-14 22:46:12 +00:00
Frederik Rietdijk
672bb6b4ab Merge remote-tracking branch 'upstream/master' into HEAD 2018-02-14 21:30:08 +01:00
Jörg Thalheim
6ec8fe0408 z3: also needs setuptools 2018-02-14 10:01:25 +00:00
Timo Kaufmann
0713bde50f sage: Don't build docs by default
This makes the HTML-docs an default-off option. Inline documentation
(`matrix-plot??`) is still available and HTML docs are available online.

Motivation: Get below the Hydra output size limit.
2018-02-13 17:52:41 +01:00
Will Dietz
2974ed9266 avy: fixes to work with clang and musl 2018-02-13 09:44:52 -06:00
Will Dietz
cbdd20878e cvc4: build in parallel 2018-02-13 09:44:45 -06:00
Will Dietz
12e60c232a cvc4: patch up fpu_control usage 2018-02-13 09:44:45 -06:00
Will Dietz
4c767417ea picosat: fix ar and ranlib usage for cross 2018-02-13 09:44:32 -06:00
Will Dietz
36b2706916 picosat: fixup include for unistd.h 2018-02-13 09:44:32 -06:00
Will Dietz
46cbded0de boolector: patch usage of ar and ranlib for cross
eep.
2018-02-13 09:44:32 -06:00
Will Dietz
9138d055bf boolector: fix missing stdint.h include 2018-02-13 09:44:31 -06:00
Jörg Thalheim
a0a3f674a7
Merge pull request #34094 from markuskowa/octopus-pr
octopus: init at 7.2
2018-02-10 14:14:01 +00:00
Jörg Thalheim
08d1400816
Merge pull request #34530 from unode/samtools-old
samtools-old: init at 0.1.19
2018-02-10 08:34:26 +00:00
Jörg Thalheim
80b096b2b3
Merge pull request #34531 from unode/raxml
RAxML: init at 8.2.11 (SSE3 & MPI)
2018-02-10 08:32:19 +00:00
Frederik Rietdijk
50a9d51a09 Merge commit '30d031b5d8d05422586043c3f105f4d9110e4f59' into HEAD 2018-02-08 12:14:07 +01:00
Peter Simons
fa23ff4a7d
Merge pull request #34651 from mnacamura/r-darwin-libcxx
R: add libcxx to default LDFLAGS and CPPFLAGS on Darwin
2018-02-07 08:31:10 +01:00
Tuomas Tynkkynen
4c6c919a31 Merge remote-tracking branch 'upstream/master' into HEAD
Conflicts:
	pkgs/os-specific/linux/kernel/generic.nix
2018-02-07 03:41:24 +02:00
Renato Alves
154d1d2f19
samtools: 1.6 -> 1.7 2018-02-06 15:38:00 +01:00
Mitsuhiro Nakamura
f4a031c63f R: add libcxx to default LDFLAGS and CPPFLAGS on Darwin 2018-02-06 18:57:12 +09:00
Tuomas Tynkkynen
9548028a22 Merge remote-tracking branch 'upstream/master' into staging
Conflicts:
	pkgs/os-specific/linux/cpupower/default.nix
2018-02-06 04:11:23 +02:00
Timo Kaufmann
272e930827 sage: fix non-deterministic build failures
The build was failing on some machines because of a `find` command that
touched files in different orders on different machines.

That confused `make`s timestamp mechanism.
2018-02-05 15:03:24 +01:00
Austin Seipp
0e371a60a5 symbiyosys: 2018.01.10 -> 2018.02.04
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04 11:59:35 -06:00
Frederik Rietdijk
c1d79509a0
Merge pull request #34553 from NixOS/python-unstable
Python package updates
2018-02-04 13:29:23 +00:00
Frederik Rietdijk
aaa50d506e python.pkgs.spyder: fix expression
Note I still get
```
This application failed to start because it could not find or load the
Qt platform plugin "xcb"
in "".
```
but that may be because I run it from the store which is not support for
Qt5 applications.
2018-02-04 10:17:35 +01:00
Bjørn Forsman
6b834384f6 bitscope: create derivations with version info
So far the store paths produced by the bitscope derivations have been
version-less. Fix it.
2018-02-03 21:14:50 +01:00
Frederik Rietdijk
c7f535c82d spyder: 3.2.4 -> 3.2.6 2018-02-03 17:43:30 +01:00
Renato Alves
65ea5f8857
samtools_0_1_19: init at 0.1.19
samtools-1.5 already exists but some software requires the older version
2018-02-02 21:49:50 +01:00
Renato Alves
05889c52b9
RAxML: init at 8.2.11 (SSE3 & MPI)
This can potentially be extended to cover all the other compilation
targets. SSE3-PTHREADS and MPI being the most commonly used.
2018-02-02 18:31:40 +01:00
Vladimír Čunát
c9171e5a4c
Merge branch 'master' into staging
Hydra: ?compare=1430035
2018-01-30 19:51:33 +01:00
Renato Alves
b22e4976cb
muscle: init at 3.8.31 2018-01-28 12:32:46 +01:00
Markus Kowalewski
ec6e7c6eeb
octopus: init at 7.2 2018-01-27 16:23:04 -08:00
Tuomas Tynkkynen
c3a658deb1 Merge remote-tracking branch 'upstream/master' into staging 2018-01-27 21:53:16 +02:00
Alexey Shmalko
38fbc93f46
Merge pull request #34156 from arcadio/star
star: init at 2.5.3a
2018-01-27 17:02:16 +02:00
Vladimír Čunát
2d2dbe083f
Merge branch 'master' into staging
Hydra: ?compare=1429281
2018-01-27 09:14:22 +01:00
Timo Kaufmann
b223662ad1 sage: 8.0 -> 8.1, fix sandbox build
The sandboxed build was failing, because it relied heavily on
/usr/bin/env. This is fixed with a lot of shebang patching (both
to system packages and to sage-internal packages).
2018-01-26 14:42:24 +01:00
adisbladis
7a2d35d9db
Merge pull request #34119 from arcadio/master
igv: 2.3.98 -> 2.4.6
2018-01-25 18:33:49 +08:00
Samuel Leathers
efdb0983da
Merge pull request #34199 from arcadio/kallisto
kallisto: init at 0.43.1
2018-01-24 20:43:24 -07:00
Arcadio Rubio García
a7333e9ced kallisto: init at 0.43.1 2018-01-24 16:16:46 +00:00
Arcadio Rubio García
72d675b23c star: init at 2.5.3a 2018-01-24 16:07:15 +00:00
Frederik Rietdijk
769342b37b Merge remote-tracking branch 'upstream/master' into HEAD 2018-01-24 14:17:49 +01:00
Daiderd Jordan
5569851745
R: fix dylib install_name on darwin 2018-01-24 00:23:16 +01:00
Frederik Rietdijk
8510550b77
Merge pull request #34169 from Infinisil/add/almonds
almonds: init at 2015-12-27
2018-01-23 17:37:54 +01:00
Silvan Mosberger
8e8a259df4
almonds: init at 2015-12-27 2018-01-23 14:16:28 +01:00
adisbladis
266979a360
Merge pull request #34125 from arcadio/bwa
bwa: 0.7.16a -> 0.7.17
2018-01-23 20:12:56 +08:00
adisbladis
b0603f514b
Merge pull request #34139 from arcadio/bedtools
bedtools: 2.26.0 -> 2.27.1
2018-01-23 12:56:01 +08:00
Will Dietz
a5a64cfcb1 lean: fixup nativeBuildInputs vs buildInputs 2018-01-22 17:19:02 -06:00
adisbladis
7490d4d698
Merge pull request #34140 from arcadio/picard
picard-tools: 2.7.1 -> 2.17.4
2018-01-22 23:57:10 +08:00
Arcadio Rubio García
612953567d bowtie2: 2.3.3.1 -> 2.3.4 2018-01-22 12:28:06 +00:00
Arcadio Rubio García
12c5dc343f picard-tools: 2.7.1 -> 2.17.4 2018-01-22 12:16:26 +00:00
Arcadio Rubio García
c75e91a374 bedtools: 2.26.0 -> 2.27.1 2018-01-22 12:09:44 +00:00
Arcadio Rubio García
0d05bcae8c bwa: 0.7.16a -> 0.7.17 2018-01-22 01:58:36 +00:00
Arcadio Rubio García
550e6146d4 igv: 2.3.98 -> 2.4.6 2018-01-21 21:07:44 +00:00
Sarah Brofeldt
adf80590ae
Merge pull request #33924 from markuskowa/molden-pr
molden: init at 5.7
2018-01-21 12:19:48 +01:00
Mitsuhiro Nakamura
1ed47cf214 mathematica: enable installation of localized editions
For now English (default) and Japanese editions only.
Fill out information in `l10ns.nix` to add the other localized editions.
Example usage: `mathematica.override { lang = "ja"; }` derives Japanese edition.
2018-01-19 21:42:52 +09:00
Miguel Madrid Mencía
8fb2be6772
weka: 3.8.1 -> 3.8.2 2018-01-18 15:25:35 +01:00
Yegor Timoshenko
506c89c30a maintainers: remove mornfall from packages 2018-01-17 05:17:33 +00:00
Markus Kowalewski
1c1e49a5c5
molden: init at 5.7 2018-01-15 23:06:41 -08:00
Ashley Gillman
245a67df8b dcm2niix: cmake is native, style 2018-01-15 16:53:28 +10:00
Ashley Gillman
271d4a7ca0 dcm2niix: init at 1.0.20170130 2018-01-15 16:45:03 +10:00
David Asabina
b986078593 bitscope: refactored to pass nixpkgs-lint
The linter (nixpkgs-lint) was not able to find the bitscope packages
because `recurseIntoAttrs` was not applied to the suite's set.

The name supplied to `buildFHSUserEnv` produces a binary that
corresponds to the binary names in the deb packages (e.g.: bitscope-dso,
bitscope-chart, bitscope-logic, etc), however; this name does not
constitute a valid nixpkgs name. Valid nixpkgs names satisfy the
`/(.*)(-[0-9].*)$/` pattern, therefore a valid name is merged into the
derivation produced by `buildFHSUserEnv`.
2018-01-14 20:00:10 +01:00
adisbladis
ff94fbc416
Merge pull request #33851 from vbgl/why3-0.88.3
why3: 0.88.1 -> 0.88.3
2018-01-15 01:27:45 +08:00
adisbladis
a41d7b9ea1
Merge pull request #33839 from mimadrid/update/gephi-0.9.2
gephi: 0.9.1 -> 0.9.2
2018-01-15 01:10:52 +08:00
Vincent Laporte
aee1cebda7
why3: 0.88.1 -> 0.88.3 2018-01-14 05:51:06 +00:00
Miguel Madrid Mencía
eb21bf3d99
cytoscape: 3.5.1 -> 3.6.0 2018-01-13 23:21:49 +01:00
Miguel Madrid Mencía
111d4dbc06
gephi: 0.9.1 -> 0.9.2 2018-01-13 23:18:26 +01:00
adisbladis
5f232de6cd
qgroundcontrol: 2.9.4 -> 3.2.7, unbreak build 2018-01-13 04:03:38 +08:00
Luz
e056315a3e librepcb-unstable: init at 2017-12-29 (#33630) 2018-01-11 09:20:00 +00:00
Austin Seipp
4d4340805b symbiyosys: 2017.12.06 -> 2018.01.10
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-10 14:00:58 -06:00
Symphorien Gibol
bf49c616ee giac: fix build
giac was broken somewhere between 310ad4 and b33b4a, see
https://hydra.nixos.org/build/67137469
libgfortran.so.3 was not found
2018-01-10 18:42:38 +01:00
Samuel Dionne-Riel
7b97c8c0c8 treewide: homepage+src updates (found by repology, #33263) 2018-01-05 20:42:46 +01:00
Austin Seipp
ebeb95d18b z3: 4.5.0-2017-11-06 -> 4.6.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-03 21:44:56 -06:00
Vladimír Čunát
1fcd92ce92
Merge branch 'master' into staging
A few thousand rebuilds from master, again.
Hydra: ?compare=1422362
2017-12-31 09:53:49 +01:00
Orivej Desh
e87a82b010 cntk: mark as broken
It never succeeded to build.  @abbradar did not respond at
94dc37d622
2017-12-31 08:14:14 +00:00
John Ericson
4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant
Make cross compilation elegant
2017-12-30 22:58:02 -05:00
John Ericson
046f091e0d treewide: Don't use envHook anymore
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
2017-12-30 22:04:22 -05:00
Austin Seipp
ff555bdaeb tamarin-prover: enable tests
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:39:38 -06:00
Austin Seipp
bae2e7ceb3 nixpkgs: add sapic as a dependency to tamarin-prover
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
3813ab2589 nixpkgs: init sapic 0.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
a31bdc0739 nixpkgs: add 'graphviz' to tamarin-prover dependencies
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
abcfa6f608 nixpkgs: add tamarin-prover 1.3.0 (dev) tool
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 18:23:15 -06:00
David Asabina
810ec3f8bd bitscope: init at 2017-12-28 2017-12-30 21:58:27 +01:00
Frederik Rietdijk
2d0bead714 Merge remote-tracking branch 'upstream/master' into HEAD 2017-12-30 17:04:54 +01:00
Orivej Desh
77cc63950a wxmaxima: build with cmake
Fixes reported version number: see
https://github.com/NixOS/nixpkgs/pull/31657#issuecomment-354414642

"make check" did not run any tests with autotools, and is not defined with
cmake. ("make test" is not defined too.)
2017-12-29 21:00:03 +00:00
Vladimír Čunát
f29000b002
Merge branch 'master' into staging
Hydra: ?compare=1421760
2017-12-29 10:13:33 +01:00
Robin Gloster
ee1c85aee9 mariadb: lib -> connector-c 2017-12-29 02:18:35 +01:00
Nick Hu
8640e286b4 fdr: 4.2.0 -> 4.2.3 2017-12-29 02:01:31 +01:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide 2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593 Specify the coq version in a more consistent location 2017-12-21 01:24:35 -08:00
Justin Bedo
a49c91f655
snpeff: 4.3p -> 4.3t 2017-12-21 10:52:26 +11:00
Vincent Laporte
4c454a3208
coq: minor cleaning 2017-12-18 15:30:36 +00:00
Orivej Desh
c13c93f03b drat-trim: fix build on darwin 2017-12-17 13:19:34 +00:00
Orivej Desh
fe9bf3ed23
Merge pull request #32648 from berce/upstream-kicad
kicad: init unstable at version 2017-12-11
2017-12-17 05:03:29 +00:00
Orivej Desh
c780dba59c kicad: show version 2017-12-17 05:02:51 +00:00
Orivej Desh
f314157041 kicad-unstable: set version 2017-12-17 04:49:00 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim
drat-trim: init at 2017-08-31
2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829 drat-trim: init at 2017-08-31
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work.  It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
2017-12-17 00:27:52 +00:00
Bert Moens
5e0344dce9 kicad: add support for oce, ngspice and scripting 2017-12-17 00:20:45 +00:00
Bert Moens
af5272f599 kicad: add unstable version 2017-12-17 00:10:28 +00:00
Vincent Laporte
12c5fe3e2d ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
John Wiegley
40627000f7 coq_8_7: 8.7.0 -> 8.7.1 2017-12-15 22:09:15 -08:00
John Wiegley
2e93f93b2a z3_4_5_0: New expression, to access the release version's API 2017-12-14 23:32:37 -08:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27 2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging 2017-12-09 21:00:07 +01:00
markuskowa
66da9b9f8f gpredict: init at 1.3 (#32436) 2017-12-09 09:45:29 +00:00
Vladimír Čunát
6f5d989478
treewide: checkMeta fixes for x86_64-linux 2017-12-07 07:50:47 -05:00
Orivej Desh
9f8ec7e4d3 stp: disable parallel building 2017-12-07 08:52:42 +00:00
Orivej Desh
812e0bced1 shogun: fix parallel building 2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746 nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove 2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242 glucose-syrup: Remove unused fetchurl argument 2017-12-01 21:13:21 -08:00
Jörg Thalheim
ae096444a2
simgrid: 3.15 -> 3.17 (#32114)
* simgrid: 3.15 -> 3.17 + clean + add options

* Add myself as maintainer

* Fix typo
2017-12-01 22:14:24 +00:00
Orivej Desh
1f99fd6965 libminc: fix build after hdf5 upgrade by using hdf5_1_8 2017-12-01 00:37:29 +00:00
Peter Simons
b0f82f0f2d R: update to 3.4.3 2017-11-30 18:45:48 +01:00
MERCIER Michael
42ec4556bd Fix typo 2017-11-28 13:13:01 +01:00
Vincent Laporte
a8da423332
acgtk: fix for yojson ≥ 1.4 2017-11-27 17:00:15 +00:00
MERCIER Michael
8fa00adf1a Add myself as maintainer 2017-11-27 17:58:49 +01:00
MERCIER Michael
0cace1fbd2 simgrid: 3.15 -> 3.17 + clean + add options 2017-11-27 17:50:25 +01:00
Orivej Desh
4f73b3162b treewide: preset windres missing to fix builds on Linux
https://github.com/NixOS/nixpkgs/pull/30484#issuecomment-345899910
2017-11-21 04:27:10 +00:00
Maximilian Bosch
38af8ec720
stellarium: 0.15.0 -> 0.16.1
The 0.16-releases contain several useful new features:
https://launchpad.net/stellarium/0.16/0.16.1

I also added myself as maintainer to have more people available if the
package breaks a release.
2017-11-19 12:01:15 +01:00
rybern
ef0486b1f9 vcftools: init at 0.1.15 (#31339) 2017-11-16 09:52:56 +02:00
Orivej Desh
089e0aaf72 pulseview: fix build 2017-11-16 00:40:16 +00:00
Joerg Thalheim
67092ffd43 spyder: 2.3.8 -> 3.2.4 2017-11-15 15:49:05 +00:00
Moritz Kiefer
c0f08557b9 why3: 0.87.3 -> 0.88.1 2017-11-15 10:15:12 +01:00
Dan Haraj
bdce7d3a04 sc2-headless: add pysc2 minigame map pack 2017-11-14 14:37:53 -05:00
Peter Simons
d70a021b95 maxima: 5.40.0 -> 5.41.0 2017-11-14 13:23:48 +01:00
Joerg Thalheim
21423521e6 wxmaxima: 15.04.0 -> 17.10.1
also fix crash at start-up due missing icons

fixes #18479
2017-11-14 11:28:00 +00:00
Renaud
2d8d35e342
Merge pull request #31564 from Mounium/aliza
aliza: 1.29.2->1.36.3
2017-11-12 22:07:01 +01:00
Katona László
c2d9871823 aliza: 1.29.2->1.36.3 2017-11-12 17:46:37 +01:00
Michael Raskin
eaaaebe00a golly: 2.8 -> 3.1 2017-11-11 15:31:37 +01:00
Michael Raskin
563b08c7c4 pari: 2.9.1 -> 2.9.3 2017-11-11 15:31:36 +01:00
Michael Raskin
20b6b3cf0e clingo: init at 5.2.2
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
2017-11-10 14:04:32 +01:00
Austin Seipp
063e4dca79 z3: update to latest git
This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-09 13:20:01 -06:00
Michael Raskin
27f7999280 glucose, glucose-syrup: 4.0 -> 4.1 2017-11-08 09:55:29 +01:00
Michael Raskin
6475fa9b25
Merge pull request #31298 from timokau/sage-fix
sage: 6.8 -> 8.0
2017-11-06 01:25:28 +00:00
Michael Raskin
85eac6ff73
Restrict platforms to what is known to work. 2017-11-06 01:25:04 +00:00
Timo Kaufmann
fe68ba81d2 sage: 6.8 -> 8.0
This "un-breaks" sage while also updating it to 8.0.

It compiles sage with its dependencies as one big pile, which is not
the best approach but definately better than nothing for now.

To be able to shrink the huge output pile a little, it also splits
docs from the rest of the output.
2017-11-05 17:37:40 -06:00
Austin Seipp
5fc4f17862 yices: 2.5.3 -> 2.5.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
e27e0ebe48 cvc4: unstable-2017-05-18 -> 1.5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
9cb5201d33 yosys/symbiyosys: 2017.10.16 -> 2017.11.05
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Ben Gamari
7eecac6f46 ngspice: Build shared library
This builds the libngspice shared library which is used by development
versions of kicad.
2017-11-02 19:26:06 -04:00