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
8ecdb52267
graphia: 3.0 -> 3.1
2022-07-28 13:49:36 +00: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
Ben Darwin
a39c8ddb1f
mcrl2: 201707 -> 202206
2022-07-27 01:25:01 -04:00
Ben Darwin
125da19866
mni_autoreg: unstable-2017-02-22 -> unstable-2022-05-20
2022-07-26 16:03:12 -04: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
Nikolay Korotkiy
367bae1a8c
stellarium: 0.22.1 → 0.22.2
2022-07-17 18:48:18 +03: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
Artturin
a584822577
treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
...
f7414e2
2022-07-15 02:50:09 +03:00
Vladimír Čunát
8169a7fce0
Merge branch 'master' into staging-next
2022-07-13 09:57:41 +02:00
Rick van Schijndel
f73ff47ca9
Merge pull request #174451 from r-ryantm/auto-update/nengo-gui
...
nengo-gui: 0.4.8 -> 0.4.9
2022-07-12 23:25:08 +02:00
Artturin
83b4764dc3
treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
...
f7414e2b3a
2022-07-12 18:25:19 +03:00
Jonas Heinrich
2349dd5cb2
graphia: 2.2 -> 3.0
2022-07-12 10:01:03 -04:00
Sandro
8785153a13
Merge pull request #180450 from wegank/lp_solve-aarch64-darwin
2022-07-12 14:56:55 +02:00
github-actions[bot]
5f2ff17a45
Merge master into staging-next
2022-07-11 18:01:16 +00:00
Thomas Tuegel
e1e0d5d513
Merge pull request #108496 from knedlsepp/cmake-rpath
...
cmake/setup-hook.sh: Don't skip build-RPATH
2022-07-11 10:18:47 -05:00
Claudio Bley
16a1651a4a
gephi: 0.9.2 -> 0.9.6
...
Gephi now requies Java 11+.
2022-07-11 16:45:30 +02:00
Bobby Rong
13a310dc59
Merge pull request #180296 from r-ryantm/auto-update/bada-bib
...
bada-bib: 0.6.2 -> 0.7.2
2022-07-11 20:44:36 +08:00
R. Ryantm
76e20e84b6
gmsh: 4.10.4 -> 4.10.5
2022-07-11 10:54:53 +00:00
Mauricio Collares
b9854d669e
nauty: 2.7r3 -> 2.7r4
2022-07-11 11:53:32 +02:00
Mauricio Collares
55a53e1dec
sage: apply eclib 20220621 update patch
2022-07-11 10:53:15 +02:00
Bobby Rong
06e537ad60
bada-bib: add missing libadwaita and gtksourceview5 dependency
2022-07-11 13:46:57 +08:00
7c6f434c
c196afc04e
Merge pull request #180675 from collares/singular-4.3.1
...
singular: 4.3.0 -> 4.3.1
2022-07-10 23:22:38 +00:00
Théo Zimmermann
3ea8ed7d7e
Split out CoqIDE by default when Coq >= 8.14.
2022-07-10 15:49:44 +02:00
Rick van Schijndel
654cb9069b
Merge pull request #180920 from smancill/gaw-platforms
...
gaw: mark as Linux-only
2022-07-10 13:45:01 +02:00
Sebastián Mancilla
fdfd961ee1
gaw: mark as Linux-only
...
The error when building on Darwin is:
sockcon.c:19:10: fatal error: 'linux/tcp.h' file not found
So, it uses Linux-specific headers.
2022-07-09 23:34:54 -04:00
Sebastián Mancilla
9df44cc540
ginac: mark as unbroken on darwin
...
Marked as broken by #173671 but builds and works fine on darwin, with
sandbox enabled.
2022-07-09 22:58:48 -04:00
R. Ryantm
58d35e01aa
nextinspace: 2.0.3 -> 2.0.5
2022-07-09 07:19:07 +00:00
Anderson Torres
e7c3f2b4de
Merge pull request #180535 from wegank/nvc-init
...
nvc: init at 1.6.2
2022-07-08 21:21:59 -03:00
Jannik Vierling
abf573a0c7
metis-prover: 2.3.20160713 -> 2.4.20200713
2022-07-08 22:22:33 +02:00
Théo Zimmermann
1014f00cff
Prepare Coq derivation for Coq 8.17 build infrastructure.
2022-07-08 14:54:04 +02:00
Mauricio Collares
bc41a593a5
singular: 4.3.0 -> 4.3.1
2022-07-08 11:24:03 +02:00
Weijia Wang
22c2fef365
nvc: init at 1.6.2
2022-07-08 07:22:45 +02:00
R. Ryantm
5ea1c721e1
delly: 0.9.1 -> 1.0.3
2022-07-07 22:10:48 +00:00
Jonas Heinrich
fc4b3a846d
klee: 2.2 -> 2.3
...
* klee: 2.2 -> 2.3
2022-07-07 09:18:27 -03:00
Weijia Wang
a64e151d26
lp_solve: fix build on aarch64-darwin
2022-07-07 09:59:39 +02:00
Rick van Schijndel
5cbfadba69
Merge pull request #178552 from jiegec/gtkwave-darwin
...
gtkwave: support darwin build
2022-07-07 09:04:12 +02:00
Justin Bedő
e120ef6a5a
Merge pull request #180294 from NixOS/r-updates
...
R 4.2.0 -> 4.2.1 and bump package set
2022-07-06 15:43:09 +10:00
R. Ryantm
4975868d54
bada-bib: 0.6.2 -> 0.7.2
2022-07-06 00:52:29 +00:00
R. RyanTM
200d8c500a
snakemake: 7.8.3 -> 7.8.5 ( #179874 )
2022-07-04 12:24:26 -04:00
Bobby Rong
be77a35772
Merge pull request #179905 from Luflosi/update/boinc
...
boinc: 7.20.0 -> 7.20.1
2022-07-04 21:26:48 +08:00
Sergei Trofimovich
8aaed36df3
archimedes: use latest toolchain, not gcc-6
...
Without the change archimedes fails to build with latest toolchains as:
ld: archimedes.c:(.text+0xdac7): undefined reference to `rnd'
ld: archimedes.c:(.text+0xdeab): undefined reference to `rnd'
ld: archimedes.c:(.text+0xdf13): undefined reference to `rnd'
ld: archimedes.c:(.text+0xe3ef): undefined reference to `rnd'
ld: archimedes.o:archimedes.c:(.text+0xe456): more undefined references to `rnd' follow
ld: archimedes.o: in function `EMC':
archimedes.c:(.text+0xf11b): undefined reference to `creation'
ld: archimedes.c:(.text+0xf5f5): undefined reference to `creation'
ld: archimedes.c:(.text+0xf826): undefined reference to `creation'
ld: archimedes.c:(.text+0xf9ce): undefined reference to `creation'
The change happens to fix build against clang as well.
2022-07-04 08:20:07 +01:00
Josef Kemetmüller
bcd7045998
treewide: Remove now-unneeded LD_LIBRARY_PATH in cmake derivations
...
Since the setting DCMAKE_SKIP_BUILD_RPATH was disabled, we can now run
the checkPhase of cmake derivations without having to tweak the
LD_LIBRARY_PATH anymore.
2022-07-04 03:49:01 +03:00
Josef Kemetmüller
1ca04aa9f1
treewide: Stop setting CMAKE_SKIP_BUILD_RPATH=OFF
...
This is now the new default and thus doesn't need to be set manually
anymore.
2022-07-04 03:49:01 +03:00
Ben Wolsieffer
8927d4d9e7
qgroundcontrol: 4.2.1 -> 4.2.3
2022-07-03 17:39:00 -04:00
tilcreator
61f6ac995d
qgroundcontrol: Fix gst dependencies
2022-07-03 13:27:12 +02:00
Luflosi
6eea86625e
boinc: 7.20.0 -> 7.20.1
...
https://github.com/BOINC/boinc/releases/tag/client_release%2F7.20%2F7.20.1
2022-07-02 15:56:06 +02:00