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 |
|
Mario Rodas
|
0f87b2b305
|
Merge pull request #181123 from avdv/gephi-0.9.6
gephi: 0.9.2 -> 0.9.6
|
2022-07-24 16:08:03 -05:00 |
|
Artturi
|
aeed5a4f93
|
Merge pull request #179584 from Artturin/fmtupdate
|
2022-07-22 21:24:12 +03:00 |
|
Robert Scott
|
0b7947c963
|
Merge pull request #182349 from r-ryantm/auto-update/snakemake
snakemake: 7.8.5 -> 7.9.0
|
2022-07-21 21:35:04 +01:00 |
|
Gabriel Ebner
|
ec71376b1c
|
Merge pull request #179568 from collares/lean-3.44.1
lean: 3.43.0 -> 3.45.0
|
2022-07-21 19:04:45 +02:00 |
|
Mauricio Collares
|
2646dae16e
|
lean: 3.44.1 -> 3.45.0
|
2022-07-21 13:03:03 -03:00 |
|
Mauricio Collares
|
b394165a8a
|
lean: 3.44.0 -> 3.44.1
|
2022-07-21 12:52:30 -03:00 |
|
Mauricio Collares
|
f1fe61ba70
|
lean: 3.43.0 -> 3.44.0
|
2022-07-21 12:52:30 -03:00 |
|
R. Ryantm
|
f9881742e3
|
mavproxy: 1.8.50 -> 1.8.52
|
2022-07-21 15:34:32 +00:00 |
|
R. Ryantm
|
7a5b52ff26
|
snakemake: 7.8.5 -> 7.9.0
|
2022-07-21 15:24:14 +00:00 |
|
Bobby Rong
|
b536142220
|
Merge pull request #181946 from Luflosi/update/boinc
boinc: 7.20.1 -> 7.20.2
|
2022-07-21 20:01:43 +08:00 |
|
Ben Siraphob
|
0952243f1f
|
Merge pull request #182056 from jiegec/cvc3-darwin
|
2022-07-20 23:12:29 -07:00 |
|
Jiajie Chen
|
fa917a6f8c
|
cvc3: unbreak on aarch64-darwin
Disable stackprotector on aarch64-darwin.
|
2022-07-21 08:09:26 +08:00 |
|
Dmitry Kalinkin
|
3518b4ac5a
|
Merge pull request #182037 from veprbl/pr/root_6_26_04
root: 6.24.06 -> 6.26.04
|
2022-07-20 17:50:18 -04:00 |
|
Robert Scott
|
6d626b5e11
|
Merge pull request #182062 from jiegec/hal-hardware-analyzer
hal-hardware-analyzer: fix build with python 3.10
|
2022-07-20 19:22:04 +01:00 |
|
Winter
|
dd4fe67ac0
|
Merge pull request #182038 from natsukium/dssp/init
dssp: init at 4.0.5
|
2022-07-20 01:06:16 -04:00 |
|
Jiajie Chen
|
7519d550fa
|
hal-hardware-analyzer: fix build with python 3.10
The build fails with Python 3.10. Applied upstream pr to fix it.
|
2022-07-20 08:29:28 +08:00 |
|
Artturin
|
9f86e929b0
|
openroad: 2.0 -> unstable-2022-07-19
|
2022-07-19 20:48:54 +03:00 |
|
Artturin
|
6b8c65acd9
|
treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
|
2022-07-19 17:47:13 +03:00 |
|
natsukium
|
cf0dc604a6
|
dssp: init at 4.0.5
|
2022-07-19 12:17:34 +09:00 |
|
Dmitry Kalinkin
|
b3df13e2d7
|
root: 6.24.06 -> 6.26.04
|
2022-07-18 23:14:15 -04:00 |
|
Justin Bedo
|
99fb9abfaa
|
bedops: 2.4.40 -> 2.4.41
|
2022-07-19 09:09:52 +10:00 |
|
Luflosi
|
bf27ab825e
|
boinc: 7.20.1 -> 7.20.2
https://github.com/BOINC/boinc/releases/tag/client_release%2F7.20%2F7.20.2
|
2022-07-18 14:33:23 +02:00 |
|
Vladimír Čunát
|
250922fd1e
|
Merge branch 'master' into staging-next
|
2022-07-18 08:29:53 +02:00 |
|
7c6f434c
|
03eff4d99f
|
Merge pull request #178456 from collares/eclib-20220621
eclib: 20210625 -> 20220621
|
2022-07-18 04:46:58 +00:00 |
|
7c6f434c
|
2a41e4f33c
|
Merge pull request #181071 from collares/nauty-2.7r4
nauty: 2.7r3 -> 2.7r4
|
2022-07-18 04:46:35 +00:00 |
|
Sandro
|
e59f65caf8
|
Merge pull request #163964 from yuuyins/strictdoc
strictdoc: init at 0.0.26
|
2022-07-17 16:45:12 +02:00 |
|
K900
|
0ff0b14968
|
treewide: more cmake rpath fixups
|
2022-07-17 17:42:15 +03:00 |
|
yuu
|
7b560da1dc
|
strictdoc: init at 0.0.26
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
Co-authored-by: Jonathan Ringer <jonringer117@gmail.com>
|
2022-07-16 19:19:32 -03:00 |
|
Vladimír Čunát
|
0879ac5da6
|
Merge branch 'master' into staging-next
|
2022-07-16 20:07:05 +02:00 |
|
Ben Siraphob
|
68c9333eb4
|
Merge pull request #176321 from siraben/smtcoq-fix
|
2022-07-16 09:27:57 -07:00 |
|
Ben Siraphob
|
49414ca907
|
Merge pull request #181622 from siraben/formula-mainprogram
|
2022-07-16 08:54:08 -07:00 |
|
Mario Rodas
|
279e1daf20
|
Merge pull request #180821 from r-ryantm/auto-update/nextinspace
nextinspace: 2.0.3 -> 2.0.5
|
2022-07-16 09:46:22 -05:00 |
|
Mario Rodas
|
ce3b7f17e6
|
Merge pull request #181078 from r-ryantm/auto-update/gmsh
gmsh: 4.10.4 -> 4.10.5
|
2022-07-16 09:13:37 -05:00 |
|
Lassulus
|
01853c3bcc
|
Merge pull request #174547 from r-ryantm/auto-update/delly
delly: 0.9.1 -> 1.0.3
|
2022-07-16 10:49:50 +02:00 |
|
github-actions[bot]
|
fa96a4fa79
|
Merge master into staging-next
|
2022-07-16 00:02:26 +00:00 |
|
yuuyins
|
877edc57d5
|
jflap: refactoring, add xdg desktop item (#173905)
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
|
2022-07-16 01:39:21 +02:00 |
|
Pascal Wittmann
|
26ddf3454a
|
Merge pull request #138255 from natsukium/mafft/init
mafft: init at 7.487
|
2022-07-16 00:54:59 +02:00 |
|
Ben Siraphob
|
0a0006a9d8
|
formula: add mainProgram
|
2022-07-15 11:41:08 -07:00 |
|
github-actions[bot]
|
9f53d5cc15
|
Merge master into staging-next
|
2022-07-15 18:01:23 +00:00 |
|
Aiken Cairncross
|
d73e58de0a
|
vhd2vl: Fix executable name (#177493)
* vhd2vl: Fix executable name
* vhd2vl: Fix tests
This partially reverts commit 5d44c9a222.
|
2022-07-15 16:22:23 +02:00 |
|