Commit Graph

1681 Commits

Author SHA1 Message Date
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
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