R. RyanTM
44181da7b7
picard-tools: 2.23.1 -> 2.23.3
2020-08-02 10:04:36 +00:00
R. RyanTM
7fc1e676ea
lean: 3.16.5 -> 3.18.4
2020-08-02 04:55:59 +00:00
Gabriel Ebner
aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover
...
eprover: 2.4 -> 2.5
2020-08-01 11:12:37 +02:00
John Ericson
ef81828143
Merge pull request #94047 from kmicklas/fix-gplates
...
gplates: 2.0.0 -> 2.2.0, unbreak
2020-07-31 19:57:01 -04:00
R. RyanTM
202ce2d867
eprover: 2.4 -> 2.5
2020-07-31 23:35:12 +00:00
Yurii Rashkovskii
cc8369c461
why3: 1.2.1 -> 1.3.1
...
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
2020-07-30 23:05:08 +02:00
Herman Fries
956d35b990
openhantek6022: init at 3.1.1
2020-07-29 22:04:07 +02:00
Dmitry Kudriavtsev
345949594f
maintainers: update name to anna
2020-07-28 19:48:16 -07:00
Mario Rodas
703b8ef3f3
Merge pull request #94091 from r-ryantm/auto-update/hmmer
...
hmmer: 3.3 -> 3.3.1
2020-07-28 14:04:04 -05:00
Mario Rodas
552a1f9278
itsx: enable on darwin
2020-07-28 13:48:55 -05:00
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
Ken Micklas
7ae6e51bd4
gplates: 2.0.0 -> 2.2.0, unbreak
2020-07-27 20:54:18 -04:00
Daniël de Kok
655d902909
finalfrontier: 0.9.3 -> 0.9.4
...
Changelog:
https://github.com/finalfusion/finalfrontier/releases/tag/0.9.4
2020-07-27 11:02:09 +02:00
Daniël de Kok
2e97f552fd
finalfusion-utils: init at 0.11.2
2020-07-27 10:00:47 +02:00
Vladyslav M
77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump
...
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-26 22:50:14 +03:00
Daniël de Kok
0f9afb2716
Merge pull request #92253 from danieldk/finalfrontier
...
finalfrontier: init at 0.9.3
2020-07-26 08:34:49 +02:00
Peter Simons
b4dd96b206
sad: mark package as broken because if depends on dropped ghc-8.4.4
...
Ping @schmitthenner.
2020-07-24 13:06:29 +02:00
Maximilian Bosch
a83e2e3662
Merge pull request #93742 from Xitian9/geogebra
...
geogebra: 5-0-574-0 -> 5-0-593-0
2020-07-24 11:34:38 +02:00
Evils
b6863cbfe7
kicad: fix build
...
disable scripting support as 92261 broke wxPython_4_0
and i haven't managed to get wxPython 4.1 to work
something caused makeWrapper to have to be added on its own
not sure where it came from before...
and some cleanup
2020-07-24 03:26:00 -04:00
Evils
e842233678
kicad-unstable: 2020-05-14 -> 2020-07-21
2020-07-24 03:26:00 -04:00
Stephen Morgan
d9e6338fec
geogebra: 5-0-574-0 -> 5-0-593-0
2020-07-24 15:11:42 +10:00
Daniël de Kok
4dd9423b05
finalfrontier: init at 0.9.3
2020-07-23 10:05:33 +02: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
Keshav Kini
b28d329c62
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-17 21:38:31 -07: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
Justin Bedo
3139597277
whisper: init at 2.0.1
2020-07-06 18:59:45 +10: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
12b36a950b
ltl2ba: 1.2 -> 1.3
2020-07-05 14:25:04 +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
Vincent Laporte
a8bb61222f
coq_8_12: init at 8.12+β1
2020-06-19 12:28:42 +02:00
Dmitry Kalinkin
df3a188b46
root5: 5.34.36 -> 5.34.38
...
Fixes: https://nvd.nist.gov/vuln/detail/CVE-2017-1000203
2020-06-18 16:42:02 -04:00
R. RyanTM
7b104edf89
eagle: 9.6.1 -> 9.6.2
2020-06-17 11:04:13 -07:00
Austin Seipp
9954d5a583
verilator: 4.034 -> 4.036
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-16 11:19:57 -05:00
Narazaki, Shuji
d6c90aea17
cadical: 1.2.1 -> 1.3.0
2020-06-15 22:56:41 +09:00
Ryan Mulligan
c2df0fb59a
Merge pull request #90419 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.22.9 -> 2.23.0
2020-06-15 05:48:36 -07:00
R. RyanTM
57a49ce3a4
picard-tools: 2.22.9 -> 2.23.0
2020-06-15 00:57:30 +00:00
Steve Purcell
af76ba6c57
fastdownward: 2019-05-13 -> 19.12
...
- Use supplied build.py mechanism instead of working around it
- Freeze release location into resulting Python so fast-downward script actually works
2020-06-15 10:40:53 +12:00
R. RyanTM
e63bfcef96
lean: 3.15.0 -> 3.16.2
2020-06-14 19:32:20 +00:00
wucke13
6bd79857e9
apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1
2020-06-14 13:27:38 +02:00
wucke13
e4183aaa76
betaflight-configurator: 10.6.0 -> 10.7.0
2020-06-14 12:32:59 +02:00
Steve Purcell
1058f8f8cf
fast-downward: also build on darwin
2020-06-14 17:55:14 +12:00
Austin Seipp
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11
...
Also includes a bump to `abc-verifier`.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Vladimír Čunát
a5f5d020c6
Merge branch 'staging-next'
2020-06-10 16:13:48 +02:00
Ryan Mulligan
d456800b17
Merge pull request #90045 from r-ryantm/auto-update/marvin
...
marvin: 20.12.0 -> 20.13.0
2020-06-10 06:01:10 -07:00
markuskowa
86d193c305
Merge pull request #90013 from r-ryantm/auto-update/jmol
...
jmol: 14.30.2 -> 14.31.0
2020-06-10 14:41:33 +02:00
R. RyanTM
0f890be404
marvin: 20.12.0 -> 20.13.0
2020-06-10 12:01:26 +00:00
R. RyanTM
c04e2c41ca
jmol: 14.30.2 -> 14.31.0
2020-06-10 03:50:47 +00:00
Jan Tojnar
c637cbe992
Merge branch 'master' into staging-next
2020-06-10 04:10:34 +02:00
R. RyanTM
b1049a61f1
star: 2.7.3a -> 2.7.4a
2020-06-09 02:32:13 +00:00
Symphorien Gibol
0a488516be
boolector: 3.0.0 -> 3.2.1
...
enable tests
optionnally enable gmp
2020-06-08 17:32:07 -05:00
Symphorien Gibol
90b75531a5
btor2tools: pre55 -> 1.0.0-pre
...
version comes from the VERSION file in the repo
2020-06-08 17:32:07 -05:00
Frederik Rietdijk
dc33419285
Merge master into staging-next
2020-06-08 12:06:12 +02:00
1000101
277bbb8efe
formatting: fix missing leading whitespace
2020-06-08 09:37:17 +02:00
Ryan Mulligan
38b720e653
Merge pull request #89667 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.22.8 -> 2.22.9
2020-06-07 15:38:23 -07:00
Frederik Rietdijk
155382cae3
Merge pull request #89515 from lopsided98/qgroundcontrol-update
...
qgroundcontrol: 3.5.5 -> 4.0.8
2020-06-07 15:57:35 +02:00
Frederik Rietdijk
6b8223e634
Merge master into staging-next
2020-06-07 09:25:12 +02:00
Markus Kowalewski
5dbe275aac
molden: 6.2 -> 6.3
2020-06-06 23:41:01 +02:00
R. RyanTM
170ea57065
picard-tools: 2.22.8 -> 2.22.9
2020-06-06 15:43:25 +00:00
R. RyanTM
25300419fd
lean: 3.14.0 -> 3.15.0
2020-06-06 10:55:48 +00:00
Sohalt
877af72161
Fixup
...
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
2020-06-05 12:44:13 +02:00
Ben Wolsieffer
5d3c56822a
qgroundcontrol: 3.5.5 -> 4.0.8
2020-06-04 19:06:45 -04:00
Frederik Rietdijk
08900c0554
Merge master into staging-next
2020-06-04 15:25:54 +02:00
Lassulus
a15262665a
Merge pull request #88466 from puzzlewolf/gazebo_remove
...
gazebo: remove
2020-06-04 12:47:42 +02:00
Daiderd Jordan
7b3a2963d1
treewide: replace base64 encoded hashes
2020-06-03 18:35:19 +02:00
zimbatm
9f15e95ff2
Merge pull request #89308 from LnL7/remove-sri-hashes
...
Remove sri hashes
2020-06-02 16:24:01 +02:00
Timo Kaufmann
374016fb1c
Merge pull request #89111 from timokau/gap-cleanup
...
gap: cleanup
2020-06-02 10:55:46 +02:00
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes
2020-06-01 15:24:19 +02:00
puzzlewolf
3b26ba8b91
maintainers: remove pxc
2020-05-30 18:38:37 +02:00
puzzlewolf
c906c45fec
gazebo, sdformat: remove
2020-05-30 18:38:28 +02:00
Jonathan Ringer
3a4fec8232
mxnet: use blas.provider, fix build
2020-05-28 15:08:47 -07:00
Timo Kaufmann
6579f814cf
gap: remove explicit configreFlags
...
System gmp is now the default.
2020-05-28 16:07:38 +02:00
Timo Kaufmann
d689f3fe72
gap: add readline support
...
Technically optional but strongly recommended from upstream. Replaces
their own implementation for input parsing.
2020-05-28 16:06:34 +02:00
Timo Kaufmann
f15c816584
gap: use https for the homepage
2020-05-28 15:58:41 +02:00
Timo Kaufmann
9e245a0878
gap: fix comment typo
2020-05-28 15:57:50 +02:00
Timo Kaufmann
e2e45e163c
gap: remove m4 dependency
...
No longer necessary, since the build system was significantly overhauled
/ replaced by Max Horn.
2020-05-28 15:55:07 +02:00
Timo Kaufmann
c269b51c38
gap: move to new source URL
...
GAP downloads moved to a new subdomain. The old one still redirects, but
the new one is the "source of truth" so we should switch to that.
2020-05-28 15:53:56 +02:00
Timo Kaufmann
a4c76b970c
gap: use the check
target for install checks
...
As suggested by Max Horn.
This exists since gap 4.10 and will only run the install checks once
while also exiting with an appropriate exit code. This new check has
uncovered some test failures, which are harmless and actually disabled
in a future gap release. The error-detection code for the previous test
target was probably broken.
2020-05-28 15:50:46 +02:00
Timo Kaufmann
d34fa6ed44
Merge pull request #89058 from timokau/palp-2.11-hash-fixup-2
...
palp: fix hash
2020-05-27 22:34:12 +00:00
Timo Kaufmann
b74991703a
palp: fix hash
...
The file was modified for the second time now. I'll try to contact
upstream about this. Maybe 2.11 is not actually a finished product yet.
2020-05-28 00:20:30 +02:00
R. RyanTM
8295aa6d8b
cryptominisat: 5.7.0 -> 5.7.1
2020-05-27 13:51:14 -07:00
R. RyanTM
f4e01832ed
marvin: 20.10.0 -> 20.12.0
2020-05-27 12:11:37 -07:00
R. RyanTM
5841bc46f8
proverif: 2.00 -> 2.01
2020-05-27 12:07:52 -07:00
Jörg Thalheim
660854a266
Merge pull request #88916 from zowoq/patches
2020-05-27 06:54:01 +01:00
Benjamin Hipple
f04a5af0cc
Merge pull request #82180 from bcdarwin/bppcore
...
bppsuite: init at 2.4.1
2020-05-26 21:07:25 -04:00
Lassulus
ed25a12070
Merge pull request #70487 from esclear/xflr5
...
xflr5: init at 6.47
2020-05-27 00:00:05 +02:00
zowoq
cb4cc7a480
sad: use patch file extension
2020-05-26 14:50:50 +10:00
Benjamin Hipple
d3082a31cd
Merge pull request #87544 from bcdarwin/vtk-8
...
vtk: 7.1.1 -> 8.2.0
2020-05-26 00:24:28 -04:00
Ben Darwin
45cd7beeb2
bppsuite: init at 2.4.1
2020-05-25 21:13:02 -04:00
Ryan Mulligan
85898181b0
Merge pull request #88844 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.22.7 -> 2.22.8
2020-05-25 06:09:11 -07:00
Mario Rodas
bc4469005e
Merge pull request #88824 from r-ryantm/auto-update/lean
...
lean: 3.13.1 -> 3.14.0
2020-05-24 22:49:35 -05:00
R. RyanTM
a60a040236
picard-tools: 2.22.7 -> 2.22.8
2020-05-25 01:25:17 +00:00
R. RyanTM
7573e99a60
lean: 3.13.1 -> 3.14.0
2020-05-24 22:22:11 +00:00
R. RyanTM
c1b7c7e87c
snakemake: 5.16.0 -> 5.17.0 ( #88766 )
2020-05-24 13:32:14 -04:00
Dmitry Kalinkin
9eb3f39bca
Merge pull request #88713 from veprbl/pr/sherpa_2_2_10
...
sherpa: 2.2.9 -> 2.2.10
2020-05-23 21:56:57 -04:00