Commit graph

3619 commits

Author SHA1 Message Date
Mario Rodas b7c9ca336f
hmmer: enable on darwin 2020-07-28 13:47:34 -05:00
R. RyanTM 58e7ed9d56 hmmer: 3.3 -> 3.3.1 2020-07-28 16:39:23 +00:00
Robert Scott fd5c0b94b2
Merge pull request #76960 from risicle/ris-hal-hardware-analyzer
hal-hardware-analyzer: init at 2.0.0
2020-07-21 22:08:05 +01:00
Daniël de Kok 622150e873
Merge pull request #93429 from danieldk/sortmerna-4.2.0
sortmerna: 3.0.3 -> 4.2.0
2020-07-21 09:34:01 +02:00
Robert Scott d2d921b763 hal-hardware-analyzer: init at 2.0.0 2020-07-20 22:35:00 +01:00
Daniël de Kok 5bb161af08
Merge pull request #93351 from alyssais/gfan
gfan: fix clang build on non-Darwin
2020-07-19 10:23:13 +02:00
Daniël de Kok dee4befc78
Merge pull request #93406 from lsix/add-gnu-gama
gama: init at 2.09
2020-07-19 08:49:37 +02:00
Lancelot SIX 9eccd6417a
gama: init at 2.09 2020-07-18 18:58:22 +01:00
Gabriel Ebner 3ffc16a834
Merge pull request #93375 from MrChico/cvc4_1.8
cvc4: 1.6 -> 1.8
2020-07-18 18:48:12 +02:00
Daniël de Kok 56c841393a sortmerna: 3.0.3 -> 4.2.0
- Fixes build against rocksdb 6.10.2
- Use dynamic rocksdb and zlib libraries
- Build a dynamic binary
2020-07-18 18:06:23 +02:00
Martin Lundfall 424936ed33 cvc4: 1.6 -> 1.8
Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <gebner@gebner.org>
2020-07-18 17:48:10 +02:00
Vladyslav M 2076487221
rink: 0.4.5 -> 0.5.0 2020-07-18 13:30:05 +03:00
Alyssa Ross 8f5eaa6deb
gfan: fix clang build on non-Darwin
-fno-guess-branch-probability isn't a Darwin-specific thing, it's a
clang-specific thing.
2020-07-17 15:30:24 +00:00
Ryan Mulligan 891e3cb973
Merge pull request #92575 from r-ryantm/auto-update/seaview
seaview: 5.0.2 -> 5.0.4
2020-07-15 21:23:13 -07:00
markuskowa 7204d9aa36
Merge pull request #93042 from r-ryantm/auto-update/gromacs
gromacs: 2020.2 -> 2020.3
2020-07-13 13:52:28 +02:00
R. RyanTM 215011c44d gromacs: 2020.2 -> 2020.3 2020-07-13 07:11:49 +00:00
Daniël de Kok a36e044be2
Merge pull request #92957 from lopsided98/qgroundcontrol-update
qgroundcontrol: 4.0.8 -> 4.0.9
2020-07-12 07:37:29 +02:00
Ben Wolsieffer 060c1ef6a5 qgroundcontrol: 4.0.8 -> 4.0.9 2020-07-11 15:27:23 -04:00
Florian Klink 785b558e66
Merge pull request #92781 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.104 -> 3.3.105
2020-07-11 13:57:57 +02:00
Timo Kaufmann 9aab32b51c
Merge pull request #92796 from r-ryantm/auto-update/jmol
jmol: 14.31.0 -> 14.31.2
2020-07-09 18:43:50 +02:00
Austin Seipp 44f8640ae4
mcy: 2020.03.21 -> 2020.07.06
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 10:33:09 -05:00
R. RyanTM 46e8ec7927 jmol: 14.31.0 -> 14.31.2 2020-07-09 14:44:34 +00:00
Austin Seipp a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Austin Seipp 63e55fae00
yosys: 2020.06.19 -> 2020.07.07
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
R. RyanTM 6e3fd6892c gtkwave: 3.3.104 -> 3.3.105 2020-07-09 10:06:28 +00:00
Jörg Thalheim 141f9ce807
cryptominisat: 5.7.1 -> 5.8.0 (#92681)
Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
2020-07-09 08:24:55 +01:00
Jörg Thalheim 223c91d032 cryptominisat: use fetchpatch 2020-07-09 08:21:21 +01:00
Jörg Thalheim e3d703bb92 cryptominisat: fix build on darwin 2020-07-09 08:11:28 +01:00
Daniël de Kok 26d250d4b3
Merge pull request #92738 from r-ryantm/auto-update/yacas
yacas: 1.8.0 -> 1.9.1
2020-07-09 09:02:26 +02:00
R. RyanTM d27df249ee yacas: 1.8.0 -> 1.9.1 2020-07-08 18:25:49 +00:00
R. RyanTM 3628d0d893 cryptominisat: 5.7.1 -> 5.8.0 2020-07-08 04:51:18 +00:00
R. RyanTM 02fe1ec6ec gwyddion: 2.55 -> 2.56 2020-07-07 10:11:50 -07:00
R. RyanTM e6113be804 seaview: 5.0.2 -> 5.0.4 2020-07-07 13:30:35 +00:00
Benjamin Hipple 0f94e2413d
Merge pull request #91071 from bcdarwin/minc-tools-build-nifti-tools
minc-tools: actually build Nifti support
2020-07-06 17:45:48 -04:00
Ben Darwin 28becad9be minc-tools: actually build Nifti support 2020-07-06 11:09:33 -04:00
Benjamin Hipple 4f4e0477b7
Merge pull request #90320 from wucke13/apmplanner-2
apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1
2020-07-05 20:23:52 -04:00
Benjamin Hipple b82bdcd3c3
Merge pull request #90311 from wucke13/betaflight-configurator
betaflight-configurator: 10.6.0 -> 10.7.0
2020-07-05 19:52:10 -04:00
Ryan Mulligan 9dcf134813
Merge pull request #92317 from r-ryantm/auto-update/last
last: 1061 -> 1066
2020-07-05 16:09:42 -07:00
R. RyanTM c0ebe721a9 marvin: 20.13.0 -> 20.15.0 2020-07-05 15:06:16 +00:00
R. RyanTM aca998de5e last: 1061 -> 1066 2020-07-05 08:43:25 +00:00
Mario Rodas c70f0c6548
Merge pull request #92257 from r-ryantm/auto-update/tebreak
tebreak: 1.0 -> 1.1
2020-07-04 12:45:00 -05:00
R. RyanTM d8956ba50e tebreak: 1.0 -> 1.1 2020-07-04 10:45:49 +00:00
Dmitry Kalinkin b234812a38
Merge pull request #92127 from veprbl/pr/snakemake_5_19_3
snakemake: 5.17.0 -> 5.19.3
2020-07-03 14:03:37 -04:00
Mario Rodas 212b0d32ca
Merge pull request #92169 from r-ryantm/auto-update/gmsh
gmsh: 4.5.6 -> 4.6.0
2020-07-03 07:59:10 -05:00
R. RyanTM 97c089f2f7 gmsh: 4.5.6 -> 4.6.0 2020-07-03 11:56:48 +00:00
Dmitry Kalinkin eb121e0901
snakemake: 5.17.0 -> 5.19.3 2020-07-02 23:36:20 -04:00
R. RyanTM 6630edb1bd picard-tools: 2.23.0 -> 2.23.1 2020-07-02 18:09:49 -07:00
R. RyanTM a07fe7164b workcraft: 3.2.6 -> 3.3.0 2020-07-02 10:07:55 -07:00
Gabriel Ebner ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean
lean: 3.16.2 -> 3.16.5
2020-07-02 15:27:58 +02:00
R. RyanTM 39ee2ab9c0 lean: 3.16.2 -> 3.16.5 2020-07-02 13:12:58 +00:00