6414 Commits

Author	SHA1	Message	Date
Christian Kögler	f99c37f463	Merge pull request #187340 from r-ryantm/auto-update/cbmc ... cbmc: 5.63.0 -> 5.64.0	2022-08-19 10:24:27 +02:00
Robert Scott	dbb68933c8	Merge pull request #185326 from risicle/ris-streamlit-1.11.1 ... streamlit: 1.2.0 -> 1.11.1	2022-08-18 23:39:36 +01:00
R. Ryantm	e0377f4a23	cbmc: 5.63.0 -> 5.64.0	2022-08-18 20:25:31 +00:00
Jiajie Chen	da87f77102	cbmc: init at 5.63.0 ... Cadical is used as sat solver backend. https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0	2022-08-18 05:21:32 +02:00
Sebastián Mancilla	68696eca80	Merge pull request #180682 from r-ryantm/auto-update/fast-downward ... fast-downward: 21.12.0 -> 22.06.0	2022-08-17 20:28:49 -04:00
Vincent Laporte	9bb0d53a4a	alt-ergo: 2.4.1 → 2.4.2	2022-08-17 17:07:27 +02:00
superherointj	fdfb409681	Merge pull request #185331 from r-ryantm/auto-update/jmol ... jmol: 14.32.66 -> 14.32.68	2022-08-17 11:38:41 -03:00
Sandro	b3da007795	Merge pull request #186604 from panicgh/sigrok	2022-08-17 14:44:28 +02:00
Nicolas Benes	d8f986d902	pulseview: 0.4.1 -> 0.4.2	2022-08-16 15:51:13 +02:00
R. Ryantm	c20b56187c	jmol: 14.32.66 -> 14.32.68	2022-08-16 13:39:44 +00:00
superherointj	f7414aeae2	Merge pull request #186662 from r-ryantm/auto-update/messer-slim ... messer-slim: 3.7.1 -> 4.0	2022-08-15 15:40:46 -03:00
Christian Kögler	10bf9a30cd	Merge pull request #179082 from k3a/openboardview ... openboardview: init at 9.0.3	2022-08-15 16:54:43 +02:00
Christian Kögler	121d695571	Merge pull request #183328 from r-ryantm/auto-update/graphia ... graphia: 3.0 -> 3.1	2022-08-15 14:13:00 +02:00
Mrmaxmeier	4929601fe9	bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07	2022-08-14 22:58:44 +02:00
R. Ryantm	c37112d2d0	messer-slim: 3.7.1 -> 4.0	2022-08-14 14:11:37 +00:00
Jonas Heinrich	a46597d7f9	Merge pull request #186307 from r-ryantm/auto-update/gretl ... gretl: 2022a -> 2022b	2022-08-14 14:25:45 +02:00
Sandro	6a8e911454	Merge pull request #185995 from wegank/nvc-1.7.0	2022-08-14 00:49:15 +02:00
R. Ryantm	7f3ad42166	snakemake: 7.12.0 -> 7.12.1	2022-08-13 16:16:11 -04:00
Mario Rodas	0cab4c8f8a	Merge pull request #183012 from bcdarwin/update-mni-autoreg ... mni_autoreg: unstable-2017-09-22 -> unstable-2022-05-20	2022-08-13 01:05:26 -05:00
Mario Rodas	6aeb44c32e	Merge pull request #185211 from r-ryantm/auto-update/delly ... delly: 1.0.3 -> 1.1.3	2022-08-13 00:41:48 -05:00
Austin Seipp	5b93ac113c	yosys: 0.18 -> 0.20 ... Includes necessary `abc` update as well. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2022-08-12 13:23:18 -05:00
Sebastián Mancilla	b9ce2756a1	Merge pull request #178884 from dtzWill/update/verliator-4.224 ... verilator: 4.222 -> 4.224	2022-08-12 12:00:50 -04:00
R. Ryantm	272c4c9f60	gretl: 2022a -> 2022b	2022-08-12 15:40:37 +00:00
Mario Rodas	b473175b3c	Merge pull request #185570 from kilianar/igv-2.13.2 ... igv: 2.8.13 -> 2.13.2	2022-08-12 06:32:23 -05:00
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
Weijia Wang	0e12c8993e	nvc: 1.6.2 -> 1.7.0	2022-08-11 01:27:57 +02: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
kilianar	0442ab82e0	igv: 2.8.13 -> 2.13.2 ... - https://software.broadinstitute.org/software/igv/2.9.x - https://software.broadinstitute.org/software/igv/2.10.x - https://software.broadinstitute.org/software/igv/2.11.x - https://software.broadinstitute.org/software/igv/2.12.x - https://software.broadinstitute.org/software/igv/2.13.x	2022-08-07 17:53:06 +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
Robert Scott	4b7937fd7b	streamlit: 1.2.0 -> 1.11.1	2022-08-06 00:04:36 +01: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
R. Ryantm	8b7c09d0e6	delly: 1.0.3 -> 1.1.3	2022-08-05 08:58:15 +00: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