Commit Graph

1685 Commits

Author SHA1 Message Date
Gabriel Ebner
99ee7fd311 elan: add leanchecker proxy 2018-04-11 19:08:22 +02:00
Gabriel Ebner
a378389ac2 elan: 0.1.0 -> 0.3.0 2018-04-11 18:05:15 +02:00
Guillaume Maudoux
b7dbff3aac gap-minimal: fix ofBorg evaluation 2018-04-11 17:08:54 +02:00
Timo Kaufmann
6dc287802a gap: 4r8p3 -> 4r8p10 2018-04-11 15:22:03 +02:00
Gabriel Ebner
a14ae55c04 elan: init at 0.1.0 2018-04-10 18:38:45 +02:00
Matthew Justin Bauer
6a74718e00
Merge pull request #36852 from rprospero/sasview-for-pr
sasview: init at 4.1.2
2018-04-09 14:07:40 -05:00
Matthew Justin Bauer
72a54f3b6d
Merge pull request #38260 from symphorien/tamarin-vim
tamarin-prover: install vim syntax highlighting files
2018-04-08 21:47:12 -05:00
Matthew Justin Bauer
209dce5ada
Merge pull request #38165 from r-ryantm/auto-update/picard-tools
picard-tools: 2.17.11 -> 2.18.1
2018-04-08 21:21:14 -05:00
Jörg Thalheim
1e9e19b2aa openmvs-unstable: 2017-05-01 -> 2018-05-26
fix build
2018-04-08 10:36:25 +01:00
Jörg Thalheim
62dc989963
Merge pull request #38595 from r-ryantm/auto-update/bcftools
bcftools: 1.7 -> 1.8
2018-04-08 09:36:13 +01:00
Jörg Thalheim
18fa54032a bcftools: python/perl is needed for shebangs 2018-04-08 09:35:20 +01:00
Austin Seipp
86c5420a2e nixpkgs: remove z3 4.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-04-07 23:02:59 -05:00
R. RyanTM
7b75bc79ef bcftools: 1.7 -> 1.8
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/bcftools/versions.

These checks were done:

- built on NixOS
- ran ‘/nix/store/5nqh165r343n7954gm49wbsdwf9iic3l-bcftools-1.8/bin/plot-vcfstats -h’ got 0 exit code
- ran ‘/nix/store/5nqh165r343n7954gm49wbsdwf9iic3l-bcftools-1.8/bin/plot-vcfstats --help’ got 0 exit code
- ran ‘/nix/store/5nqh165r343n7954gm49wbsdwf9iic3l-bcftools-1.8/bin/bcftools -h’ got 0 exit code
- ran ‘/nix/store/5nqh165r343n7954gm49wbsdwf9iic3l-bcftools-1.8/bin/bcftools --help’ got 0 exit code
- ran ‘/nix/store/5nqh165r343n7954gm49wbsdwf9iic3l-bcftools-1.8/bin/bcftools help’ got 0 exit code
- found 1.8 with grep in /nix/store/5nqh165r343n7954gm49wbsdwf9iic3l-bcftools-1.8
- directory tree listing: https://gist.github.com/c9ddd760c0c740dabaabeb604fbb8a5a
2018-04-07 20:11:48 -07:00
Jörg Thalheim
d307ab5ca3
Merge pull request #38416 from bcdarwin/beluga
beluga: init at 20180403
2018-04-06 00:34:47 +01:00
Jörg Thalheim
f444c1893b
Merge pull request #38478 from r-ryantm/auto-update/weka
weka: 3.8.2 -> 3.9.2
2018-04-05 19:21:45 +01:00
Jörg Thalheim
fb3b3d6394 weka: use makeWrapper 2018-04-05 19:21:16 +01:00
R. RyanTM
05bffb5a0d weka: 3.8.2 -> 3.9.2
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/weka/versions.

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.9.2 with grep in /nix/store/rv6aq5p1qacvpvaw9vszawzidsh8xdl9-weka-3.9.2
- directory tree listing: https://gist.github.com/c1ee16794a22549147d4d292cad986e5
2018-04-05 09:08:28 -07:00
Peter Hoeg
40643e67a5
Merge pull request #38237 from r-ryantm/auto-update/igv
igv: 2.4.9 -> 2.4.10
2018-04-05 16:01:36 +08:00
Ben Darwin
9f70551937 beluga: init at 20180403 2018-04-04 17:24:28 -04:00
Ben Darwin
d2c20d3a21 abella: 2.0.4 -> 2.0.5 2018-04-04 08:15:01 +02:00
Matthew Justin Bauer
2cd044b2fe
Merge pull request #37465 from timor/workcraft
workcraft: init at 3.1.9
2018-03-31 19:15:13 -05:00
Symphorien Gibol
d432cb7fdb tamarin-prover: install vim syntax highlighting files
note that this was tested on 13e74a838d
because tamarin-prover does not build on master...
2018-03-31 23:55:03 +02:00
R. RyanTM
f53175bf0b gtkwave: 3.3.87 -> 3.3.89
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/gtkwave/versions.

These checks were done:

- built on NixOS
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vermin -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vermin -h` and found version 3.3.89
- found 3.3.89 with grep in /nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89
- directory tree listing: https://gist.github.com/69f7a88d0a20c6860e8ee145090b3375
2018-03-31 12:23:34 -05:00
R. RyanTM
34257096e6 igv: 2.4.9 -> 2.4.10
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/igv/versions.

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.10 with grep in /nix/store/171fy8d969ynn0m74xi7dxvrbv9di37z-igv-2.4.10
- directory tree listing: https://gist.github.com/9164cca651385e7845f2ac52628d5ad7
2018-03-31 08:54:46 -07:00
Gabriel Ebner
5a7e6732c5 qalculate-gtk: 2.2.1 -> 2.3.0 2018-03-31 17:42:47 +02:00
R. RyanTM
d5f23bb90a picard-tools: 2.17.11 -> 2.18.1
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/picard-tools/versions.

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.18.1 with grep in /nix/store/nxd67d6cdp85kjy0g2qg4005rbwdfj75-picard-tools-2.18.1
- directory tree listing: https://gist.github.com/2fdec4f7617ad9bc0dfcd95a91d4abb6
2018-03-30 20:27:46 -07:00
Symphorien Gibol
262fff26ed giac: fix url
the previous url was a moving target and was updated at each point
release. Use a frozen source instead.
2018-03-30 21:32:56 +02:00
R. RyanTM
5fe6041341 python27Packages.spyder: 3.2.7 -> 3.2.8
Semi-automatic update generated by https://github.com/ryantm/nix-update tools.

This update was made based on information from https://repology.org/metapackage/spyder/versions.

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.2.8 with grep in /nix/store/q075j1pw2p0j7wldlcq0mx2kj018fgn4-spyder-3.2.8
- directory tree listing: https://gist.github.com/354834c75ad6240801f447820cd9067e
2018-03-30 19:57:40 +01:00
Jörg Thalheim
7d8d5d4f6f
Merge pull request #37670 from bgamari/libngspice
ngspice: Move shared library to a new derivation
2018-03-26 18:33:42 +01:00
Ben Gamari
a62fffd9a5 ngspice: Move shared library to a new derivation
It turns out that the build system does not support building both the
command-line tool and the shared library at the same time. Consequently
the ngspice derivation has not provided the command-line tools since the
shared library was enabled in #31166.
2018-03-25 19:55:40 -04:00
Maximilian Bosch
2379cfc4ed
geogebra: add archive.org link for 5-0-444-0
The `geogebra` package is subject to break as upstream removes versioned
packages from their download server when five new releases are comming.

This is why I had to fix almost monthly the package by bumping the
version (these can be found by running `git log --online | grep
geogebra:`). As the package didn't cause any issues for several months
now I guess that using `archive.org` seems to be a suitable solution for
now.

/cc @sternenseemann @matthewbauer
2018-03-25 10:08:43 +02:00
sternenseemann
275cd49731 geogebra: 5-0-382-0 -> 5-0-444-0 2018-03-25 01:51:04 -05:00
Matthew Justin Bauer
8f3091939b
Merge pull request #37752 from ryantm/fix-urls
treewide: use more HTTPS URLs
2018-03-25 00:40:17 -05:00
Ryan Mulligan
b189247ba0 treewide: use more HTTPS URLs
Uses the HTTPS url for cases where the existing URL has a permanent
redirect. For each domain, at least one fixed derivation URL was
downloaded to test the domain is properly serving downloads.

Also fixes jbake source URL, which was broken.
2018-03-24 22:04:25 -07:00
Robin Gloster
1b27260a0b
qgroundcontrol: 3.2.7 -> 3.3.0 2018-03-24 12:08:06 +01:00
John Wiegley
bee172501d
Merge pull request #37591 from vbgl/coq-88beta1
coq: init at 8.8+beta1
2018-03-23 22:09:06 -07:00
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