Mario Rodas
|
e27fb54ad8
|
Merge pull request #185834 from kilianar/lean-3.46.0
lean: 3.45.0 -> 3.46.0
|
2022-08-12 05:40:55 -05:00 |
|
Gabriel Ebner
|
f056e64e5b
|
Merge pull request #180766 from jvierling/metis-prover
metis-prover: 2.3.20160713 -> 2.4.20200713
|
2022-08-10 13:02:34 +02:00 |
|
kilianar
|
3bf4c6f470
|
lean: 3.45.0 -> 3.46.0
https://github.com/leanprover-community/lean/releases/tag/v3.46.0
|
2022-08-09 22:21:39 +02:00 |
|
Jonas Heinrich
|
3cbb7231b5
|
Merge pull request #185393 from r-ryantm/auto-update/xschem
xschem: 3.0.0 -> 3.1.0
|
2022-08-08 10:43:11 +02:00 |
|
Bobby Rong
|
934c6c9a95
|
Merge pull request #184334 from r-ryantm/auto-update/mafft
mafft: 7.490 -> 7.505
|
2022-08-07 16:18:05 +08:00 |
|
Bobby Rong
|
197f77cfad
|
Merge pull request #184937 from r-ryantm/auto-update/gprojector
gprojector: 3.0.3 -> 3.0.4
|
2022-08-07 16:13:26 +08:00 |
|
Dmitry Kalinkin
|
30887dc20b
|
Merge pull request #184371 from veprbl/pr/root_6_26_06
root: 6.26.04 -> 6.26.06
|
2022-08-06 21:43:59 -04:00 |
|
R. Ryantm
|
ea50144392
|
xschem: 3.0.0 -> 3.1.0
|
2022-08-06 09:02:23 +00:00 |
|
Bobby Rong
|
88cb001dc5
|
Merge pull request #184250 from r-ryantm/auto-update/JAGS
jags: 4.3.0 -> 4.3.1
|
2022-08-05 19:37:07 +08:00 |
|
Guillaume Girol
|
a9cb4fcace
|
Merge pull request #182348 from muscaln/fritzing-bump
fritzing: unstable-2021-09-22 -> unstable-2022-07-01
|
2022-08-03 22:16:57 +00:00 |
|
evils
|
bd87e0b8ab
|
kicad: 6.0.6 -> 6.0.7 (#184935)
and fix handling of the '6.0.7' branch
not sure how the --heads got in there
|
2022-08-03 12:36:35 -04:00 |
|
Mustafa Çalışkan
|
8c3afe0978
|
fritzing: unstable-2021-09-22 -> unstable-2022-07-01
|
2022-08-03 16:13:41 +03:00 |
|
Ben Siraphob
|
e05c784516
|
Merge pull request #184286 from r-ryantm/auto-update/kstars
|
2022-08-02 20:29:26 -07:00 |
|
R. Ryantm
|
e86aac0222
|
gprojector: 3.0.3 -> 3.0.4
|
2022-08-03 02:51:26 +00:00 |
|
Sandro
|
e9984bc607
|
Merge pull request #182705 from luispedro/no_test_samtools_on_cross_compile
|
2022-08-02 23:20:38 +02:00 |
|
superherointj
|
5c30c1cbf1
|
Merge pull request #183064 from bcdarwin/update-mcrl2
mcrl2: 201707 -> 202206
|
2022-08-02 15:50:46 -03:00 |
|
Luis Pedro Coelho
|
5877d8e072
|
samtools: Fix cross-compilation
Tests require bgzip which comes from the htslib package.
This did not cause problems prior to
41485e7337 as tests were not run in
cross-compilation.
|
2022-08-02 17:52:50 +02:00 |
|
Sandro
|
e76aa82431
|
Merge pull request #184598 from wegank/treewide-fix-platforms
|
2022-08-02 15:57:56 +02:00 |
|
Sandro
|
2d087731af
|
Merge pull request #180507 from wegank/scalp-init
|
2022-08-02 14:10:21 +02:00 |
|
Bobby Rong
|
673b00dee3
|
Merge pull request #184166 from r-ryantm/auto-update/gnuastro
gnuastro: 0.17 -> 0.18
|
2022-08-02 19:51:33 +08:00 |
|
Justin Bedő
|
48a6027d08
|
Merge pull request #184271 from r-ryantm/auto-update/last
last: 1268 -> 1406
|
2022-08-02 11:09:32 +10:00 |
|
ajs124
|
7207f24c32
|
Merge pull request #180052 from lopsided98/qgroundcontrol-update
|
2022-08-01 23:51:06 +02:00 |
|
ajs124
|
ee81907db5
|
Merge pull request #180029 from TilCreator/fixQgroundcontrolr
|
2022-08-01 23:43:29 +02:00 |
|
Weijia Wang
|
278086eddb
|
treewide: fix platforms
|
2022-08-01 18:33:27 +02:00 |
|
Guillaume Girol
|
cff31d3d97
|
Merge pull request #181762 from sikmir/stellarium
stellarium: 0.22.1 → 0.22.2, unbreak on darwin
|
2022-08-01 14:14:13 +00:00 |
|
Jörg Thalheim
|
e50f15239e
|
Merge pull request #184188 from r-ryantm/auto-update/getdp
getdp: 3.4.0 -> 3.5.0
|
2022-08-01 08:24:46 +01:00 |
|
Dmitry Kalinkin
|
1e64d9a87c
|
root: 6.26.04 -> 6.26.06
|
2022-07-31 19:43:07 -04:00 |
|
R. Ryantm
|
b2bbba02ba
|
mafft: 7.490 -> 7.505
|
2022-07-31 20:32:57 +00:00 |
|
Robert Scott
|
33ab71dafb
|
Merge pull request #184185 from r-ryantm/auto-update/gama
gama: 2.19 -> 2.21
|
2022-07-31 20:26:06 +01:00 |
|
Timo Kaufmann
|
17a362686e
|
Merge pull request #184261 from r-ryantm/auto-update/jmol
jmol: 14.32.45 -> 14.32.66
|
2022-07-31 21:11:32 +02:00 |
|
R. Ryantm
|
6714562097
|
kstars: 3.5.9 -> 3.6.0
|
2022-07-31 17:44:12 +00:00 |
|
R. Ryantm
|
e0a9011556
|
last: 1268 -> 1406
|
2022-07-31 16:58:20 +00:00 |
|
R. Ryantm
|
01098c4dbd
|
jmol: 14.32.45 -> 14.32.66
|
2022-07-31 15:48:05 +00:00 |
|
R. Ryantm
|
a1680d22df
|
jags: 4.3.0 -> 4.3.1
|
2022-07-31 15:22:12 +00:00 |
|
R. Ryantm
|
4c3caca96d
|
snakemake: 7.9.0 -> 7.12.0
|
2022-07-31 11:06:29 -04:00 |
|
Weijia Wang
|
356ac6d6ae
|
scalp: init at unstable-2022-03-15
|
2022-07-31 13:28:19 +02:00 |
|
R. Ryantm
|
d9d8cf9c5a
|
getdp: 3.4.0 -> 3.5.0
|
2022-07-31 09:45:24 +00:00 |
|
R. Ryantm
|
a36984e191
|
gama: 2.19 -> 2.21
|
2022-07-31 09:39:15 +00:00 |
|
R. Ryantm
|
f64fdd760b
|
gnuastro: 0.17 -> 0.18
|
2022-07-31 07:53:52 +00:00 |
|
R. Ryantm
|
c37576257b
|
workcraft: 3.3.6 -> 3.3.8
|
2022-07-31 06:18:04 +00:00 |
|
Anderson Torres
|
3242a9cab4
|
Merge pull request #183754 from r-ryantm/auto-update/primecount
primecount: 7.3 -> 7.4
|
2022-07-30 16:01:13 -03:00 |
|
Anderson Torres
|
0dced175d7
|
Merge pull request #183756 from r-ryantm/auto-update/primesieve
primesieve: 7.9 -> 8.0
|
2022-07-30 15:12:23 -03:00 |
|
Bobby Rong
|
ac95058e3c
|
Merge pull request #183276 from r-ryantm/auto-update/cvc5
cvc5: 1.0.0 -> 1.0.1
|
2022-07-30 10:50:46 +08:00 |
|
R. Ryantm
|
344c2740e1
|
primesieve: 7.9 -> 8.0
|
2022-07-29 17:22:15 +00:00 |
|
R. Ryantm
|
faa6e41b2a
|
primecount: 7.3 -> 7.4
|
2022-07-29 17:15:11 +00:00 |
|
R. Ryantm
|
33d34d205c
|
opensmt: 2.3.1 -> 2.4.1
|
2022-07-29 14:26:39 +00:00 |
|
Mauricio Collares
|
6105375c1e
|
sageWithDoc: remove deprecation patch, add sphinx 5 update patch
|
2022-07-28 17:29:53 -03:00 |
|
R. Ryantm
|
f238ea8ee8
|
cvc5: 1.0.0 -> 1.0.1
|
2022-07-28 10:49:58 +00:00 |
|
Ryan Mulligan
|
8c2abe0837
|
Merge pull request #182353 from r-ryantm/auto-update/MAVProxy
mavproxy: 1.8.50 -> 1.8.52
|
2022-07-27 20:53:01 -07:00 |
|
Justin Bedő
|
9e80da74b0
|
Merge pull request #182028 from jbedo/bedops
bedops: 2.4.40 -> 2.4.41
|
2022-07-28 09:14:23 +10:00 |
|