Commit Graph

3647 Commits

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