8261 Commits

Author	SHA1	Message	Date
R. Ryantm	bd39164038	kissat: 3.1.0 -> 3.1.1	2023-10-10 14:10:55 +00:00
Ryan Mulligan	98deb47f4f	Merge pull request #260039 from r-ryantm/auto-update/cadical ... cadical: 1.5.3 -> 1.8.0	2023-10-10 04:18:42 -07:00
R. Ryantm	cc7d88f247	gama: 2.25 -> 2.26	2023-10-10 03:25:45 +00:00
Guillaume Maudoux	07215db4cb	Merge pull request #259398 from whonore/update-dafny-4.3.0	2023-10-09 21:19:33 +02:00
R. Ryantm	f61509d8f3	cadical: 1.5.3 -> 1.8.0	2023-10-09 18:01:10 +00:00
markuskowa	b7129e447b	Merge pull request #258863 from sheepforce/cp2k ... cp2k: enable SIRIUS planewave code and optimisations	2023-10-09 13:34:25 +02:00
Phillip Seeber	dcd7efd1f9	cp2k: enable GPU offloading, sirius planewaves and optimisations	2023-10-09 10:48:16 +02:00
Luflosi	ec38bafb02	abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13	2023-10-07 11:52:04 -05:00
whonore	4b36cd01b3	dafny: 4.2.0 -> 4.3.0	2023-10-06 15:48:28 -04:00
natsukium	96178c29a4	truvari: 4.0.0 -> 4.1.0 ... Diff: https://github.com/ACEnglish/truvari/compare/v4.0.0...v4.1.0 Changelog: https://github.com/ACEnglish/truvari/releases/tag/v4.1.0	2023-10-07 01:30:27 +09:00
natsukium	776b2694a3	truvari: add meta.changelog	2023-10-07 01:30:27 +09:00
Justin Bedo	e347cca9f8	delly: 1.1.6 -> 1.1.7 ... Diff: https://github.com/dellytools/delly/compare/v1.1.6...1.1.7	2023-10-06 14:12:05 +11:00
Phillip Seeber	fe9344689d	wxmacmolplt: fix linking	2023-10-05 18:09:35 +02:00
Nick Cao	caf7f31b75	Merge pull request #258910 from r-ryantm/auto-update/cryptominisat ... cryptominisat: 5.11.12 -> 5.11.14	2023-10-04 10:03:38 -04:00
Doron Behar	d478d2c6b6	Merge pull request #258811 from Enzime/qalculate-bundle ... qalculate-gtk: generate bundle on macOS	2023-10-04 10:17:45 +03:00
R. Ryantm	2a57ec40ed	cryptominisat: 5.11.12 -> 5.11.14	2023-10-04 02:13:39 +00:00
Michael Hoang	a03367cae4	qalculate-gtk: generate bundle on macOS	2023-10-03 15:08:27 +01:00
Markus Kowalewski	425afd6755	openmolcas: use getDev to pickup libxc includes ... fix for split output of libxc ef2d57ee1c	2023-10-03 13:56:57 +02:00
Doron Behar	a7da38888f	Merge pull request #257652 from doronbehar/pkg/lammps ... lammps: 23Jun2022_update4 -> 2Aug2023_update1	2023-10-03 13:14:14 +03:00
markuskowa	dcf2055eaf	Merge pull request #258211 from markuskowa/fix-nwchem ... nwchem: remove test jobs from output	2023-10-02 17:29:27 +02:00
markuskowa	ccdb27584c	Merge pull request #258190 from markuskowa/fix-cp2k ... c2pk: remove unit tests from output	2023-10-02 17:28:08 +02:00
Markus Kowalewski	1d953af53e	cp2k: fix libxc includes (use getDev)	2023-10-02 11:09:20 +02:00
Mauricio Collares	d4aaa0447a	Merge pull request #258501 from r-ryantm/auto-update/jmol ... jmol: 16.1.39 -> 16.1.41	2023-10-02 09:20:43 +02:00
Fabián Heredia Montiel	72b10ff62f	Merge pull request #258278 from markuskowa/split-libxsmm ... libxsmm: split outputs -> out, dev, doc	2023-10-01 22:53:43 -06:00
R. Ryantm	51ef74c648	jmol: 16.1.39 -> 16.1.41	2023-10-02 00:01:49 +00:00
Weijia Wang	0396d3b0fb	Merge pull request #258254 from r-ryantm/auto-update/nest-mpi ... nest-mpi: 3.5 -> 3.6	2023-10-01 03:53:05 +02:00
Weijia Wang	d2f79d7443	Merge pull request #257369 from r-ryantm/auto-update/stacks ... stacks: 2.62 -> 2.65	2023-10-01 03:20:19 +02:00
Weijia Wang	293062bbdb	stacks: set platforms	2023-10-01 02:26:34 +02:00
Weijia Wang	00d57438ab	Merge pull request #256805 from r-ryantm/auto-update/neuron-mpi ... neuron-mpi: 8.2.2 -> 8.2.3	2023-10-01 00:44:58 +02:00
Weijia Wang	0b2e425b68	Merge pull request #256750 from r-ryantm/auto-update/ginac ... ginac: 1.8.6 -> 1.8.7	2023-10-01 00:40:22 +02:00
Weijia Wang	991ea4b415	Merge pull request #258269 from wegank/siril-bump ... siril: 1.0.6 -> 1.2.0	2023-10-01 00:16:35 +02:00
Markus Kowalewski	dad3ce4398	cp2k: fix libxsmm includes (use getDev)	2023-09-30 23:28:31 +02:00
Weijia Wang	032719d0c5	siril: 1.0.6 -> 1.2.0	2023-09-30 23:18:47 +02:00
R. Ryantm	a78f4ed541	nest-mpi: 3.5 -> 3.6	2023-09-30 18:54:13 +00:00
Markus Kowalewski	f1b44ffc1c	nwchem: remove test jobs from output ... The tests are not needed to run the program. Removing the tests saves about 220 MB.	2023-09-30 16:15:37 +02:00
Markus Kowalewski	c883a53089	c2pk: remove unit tests from output ... reduces output size from 1.3GB to 960 MB	2023-09-30 15:03:12 +02:00
Arnout Engelen	2add93ab93	Merge pull request #257795 from natsukium/dssp/update ... dssp: 4.4.2 -> 4.4.3	2023-09-29 14:50:46 +02:00
Vincent Laporte	368f95104b	easycrypt: 2022.04 → 2023.09	2023-09-29 10:33:21 +02:00
Vincent Laporte	82aaf63703	alt-ergo: 2.4.3 → 2.5.1 ... ocamlPackages.ocplib-simplex: 0.4 → 0.5	2023-09-29 06:43:44 +02:00
Peder Bergebakken Sundt	470614b671	treewide: Fix typos	2023-09-28 19:06:13 +02:00
markuskowa	7e0e86fe35	Merge pull request #257718 from markuskowa/upd-mopac ... mopac: 22.0.6 -> 22.1.0	2023-09-28 10:23:28 +02:00
natsukium	c90607c5a7	dssp: 4.4.2 -> 4.4.3 ... Diff: https://github.com/PDB-REDO/dssp/compare/refs/tags/v4.4.2...v4.4.3 Changelog: https://github.com/PDB-REDO/libcifpp/releases/tag/refs/tags/v4.4.3	2023-09-28 15:38:55 +09:00
Markus Kowalewski	6367eb7ffd	mopac: 22.0.6 -> 22.1.0	2023-09-27 22:54:32 +02:00
Doron Behar	2112a277f9	lammps: 23Jun2022_update4 -> 2Aug2023_update1 ... Diff: https://github.com/lammps/lammps/compare/stable_23Jun2022_update4...stable_2Aug2023_update1	2023-09-27 17:18:14 +03:00
github-actions[bot]	9a4dae4abd	Merge master into staging-next	2023-09-27 06:01:00 +00:00
github-actions[bot]	2717201e72	Merge master into staging-next	2023-09-26 12:01:28 +00:00
Weijia Wang	5cf0d8d81b	Merge pull request #256231 from r-ryantm/auto-update/uhdm ... uhdm: 1.73 -> 1.74	2023-09-26 11:38:43 +02:00
Janik	43ea837586	Merge pull request #257328 from kilianar/stellarium-23.3	2023-09-26 10:23:42 +02:00
github-actions[bot]	3bfcfd7eef	Merge master into staging-next	2023-09-26 06:01:00 +00:00
Mario Rodas	3fc0d1348b	lean4: 4.0.0 -> 4.1.0 ... Diff: https://github.com/leanprover/lean4/compare/v4.0.0...v4.1.0 Changelog: https://github.com/leanprover/lean4/blob/v4.1.0/RELEASES.md	2023-09-26 04:20:00 +00:00