Commit graph

3560 commits

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