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 |
|
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 |
|
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 |
|