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