Commit graph

3609 commits

Author SHA1 Message Date
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
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
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
Vincent Laporte d34bde6ac7 why3: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
Markus Kowalewski 187b4a2e04
root: add license 2020-06-27 00:43:21 +02:00
Markus Kowalewski 52f9aebe64
qalculate-gtk: add license 2020-06-27 00:37:44 +02:00
Markus Kowalewski c317091b5a
mrbayes: fix license 2020-06-26 11:06:35 +02:00
Markus Kowalewski 83dda57082
emboss: fix license 2020-06-26 11:05:24 +02:00
zowoq c7e61112df treewide: remove deprecated value Application from makeDesktopItem 2020-06-25 12:18:37 +10:00
Daniël de Kok 5f0cf22c59 cadical: enable tests 2020-06-24 15:10:53 -07:00
Maximilian Bosch 44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR
cadical: 1.2.1 -> 1.3.0
2020-06-23 23:33:10 +02:00
Maximilian Bosch 3c3840ecd6
stellarium: 0.20.1 -> 0.20.2
https://github.com/Stellarium/stellarium/releases/tag/v0.20.2
2020-06-22 20:30:42 +02:00
Sébastien Maret b307674e02
gildas: 20200201_a -> 20200601_b (#91096) 2020-06-19 10:40:38 -04:00