6473 Commits

Author	SHA1	Message	Date
Sandro	9b214e6dad	Merge pull request #177830 from r-ryantm/auto-update/eggnog-mapper	2022-09-03 22:43:11 +02:00
Jörg Thalheim	932758095e	Merge pull request #189576 from r-ryantm/auto-update/mavproxy ... mavproxy: 1.8.52 -> 1.8.55	2022-09-03 17:31:01 +01:00
Jörg Thalheim	5c3f9c0213	mavproxy: add missing opencv dependency	2022-09-03 17:49:42 +02:00
Robert Scott	fd66073cf3	Merge pull request #189414 from kilianar/kissat-3.0.0 ... kissat: 2.0.1 -> 3.0.0	2022-09-03 11:53:29 +01:00
R. Ryantm	f5a5ffd59f	mavproxy: 1.8.52 -> 1.8.55	2022-09-03 10:05:19 +00:00
Robert Scott	3f9b0f53e4	Merge pull request #188650 from movingco/add-z3-411 ... z3: add 4.11	2022-09-02 18:24:42 +01:00
kilianar	c8546067ce	kissat: 2.0.1 -> 3.0.0 ... https://github.com/arminbiere/kissat/releases/tag/rel-3.0.0	2022-09-02 10:24:30 +02:00
R. Ryantm	33c6733a54	nvc: 1.7.0 -> 1.7.1	2022-09-01 14:56:35 +00:00
kilianar	2b3ec1d37a	lean: 3.47.0 -> 3.48.0 ... https://github.com/leanprover-community/lean/releases/tag/v3.48.0	2022-08-31 11:32:21 +02:00
Robert Scott	829e42e59c	Merge pull request #188829 from r-ryantm/auto-update/cvc5 ... cvc5: 1.0.1 -> 1.0.2	2022-08-29 21:43:21 +01:00
Jonas Heinrich	5d40029409	Merge pull request #187556 from r-ryantm/auto-update/streamlit ... streamlit: 1.11.1 -> 1.12.2	2022-08-29 20:08:23 +02:00
tpdcl	4f39ada71b	FAHClient: 7.6.13 -> 7.6.21 (#188476) ... This time also in master so it can get in unstable	2022-08-29 19:51:58 +02:00
R. Ryantm	616e78d316	cvc5: 1.0.1 -> 1.0.2	2022-08-29 17:17:59 +00:00
superherointj	2a7368c1a1	Merge pull request #188553 from marsam/update-lean ... lean: 3.46.0 -> 3.47.0	2022-08-28 19:42:11 -03:00
Ian Macalinao	c05b66233e	z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0	2022-08-28 11:06:19 -05:00
Jonas Heinrich	3e1cc19497	Merge pull request #183690 from r-ryantm/auto-update/openhantek6022 ... openhantek6022: 3.2.5 -> 3.3.1	2022-08-28 14:22:00 +02:00
Jonas Heinrich	c4fd9300ff	Merge pull request #184218 from r-ryantm/auto-update/gwyddion ... gwyddion: 2.60 -> 2.61	2022-08-28 13:01:46 +02:00
R. Ryantm	e123a3b380	streamlit: 1.11.1 -> 1.12.2	2022-08-27 17:30:12 +00:00
Artturi	79c42aa06c	Merge pull request #186564 from Artturin/crossevalfixes ... Fixes for cross-compilation	2022-08-27 17:49:00 +03:00
Jonas Heinrich	ed227dc9fb	Merge pull request #168109 from r-ryantm/auto-update/bcftools ... bcftools: 1.15 -> 1.16	2022-08-27 08:51:34 +02:00
Mario Rodas	40ad284f8f	lean: 3.46.0 -> 3.47.0	2022-08-27 04:20:00 +00:00
Theodore Ni	bb1d34d0f1	cvc3: reenable stackprotector on aarch64-darwin ... The original error that required disabling the stack protector on aarch64-darwin has been fixed in GCC.	2022-08-25 19:11:45 -07:00
Jonas Heinrich	21ba29f226	Merge pull request #181338 from thyol/diamond ... diamond: 0.8.36 -> 2.0.15	2022-08-25 15:25:03 +02:00
Jonas Heinrich	a289c54a90	Merge pull request #184365 from r-ryantm/auto-update/marvin ... marvin: 22.8.0 -> 22.13.0	2022-08-25 10:21:44 +02:00
Sandro	2b87b01423	Merge pull request #187334 from fedeinthemix/wolfram-update	2022-08-24 22:07:00 +02:00
Jonas Heinrich	b8e0c9b652	Merge pull request #183253 from r-ryantm/auto-update/angsd ... angsd: 0.937 -> 0.938	2022-08-24 10:35:05 +02:00
Jonas Heinrich	c199cfabff	Merge pull request #184694 from r-ryantm/auto-update/SPAdes ... SPAdes: 3.15.4 -> 3.15.5	2022-08-23 20:21:42 +02:00
K900	05aa6c1026	xyce: fix eval after #187842	2022-08-23 09:43:48 +03:00
Gabriel Ebner	c83b87fecd	Merge pull request #187883 from alyaeanyx/qalculate-4.3.0 ... {libqalculate, qalculate-gtk}: 4.2.0 -> 4.3.0	2022-08-22 18:47:13 +02:00
Gabriel Ebner	e99329eb02	elan: overwrite llvm-ar with stdenv ar	2022-08-22 16:52:52 +02:00
alyaeanyx	61b47c361c	{libqalculate, qalculate-gtk}: 4.2.0 -> 4.3.0	2022-08-22 16:14:34 +02:00
Jonas Heinrich	ed7e80c85b	Merge pull request #183893 from r-ryantm/auto-update/emuflight-configurator ... emuflight-configurator: 0.4.0 -> 0.4.1	2022-08-22 16:07:10 +02:00
Jonas Heinrich	fbf9205774	Merge pull request #185912 from r-ryantm/auto-update/fityk ... fityk: 1.3.1 -> 1.3.2	2022-08-21 21:34:00 +02:00
Jonas Heinrich	5cb64f6046	Merge pull request #186958 from r-ryantm/auto-update/igv ... igv: 2.13.2 -> 2.14.0	2022-08-21 21:11:49 +02:00
Jonas Heinrich	48c0cae744	Merge pull request #184713 from r-ryantm/auto-update/siril ... siril: 1.0.0 -> 1.0.3	2022-08-21 18:13:09 +02:00
Jonas Heinrich	4cde04611f	Merge pull request #184011 from r-ryantm/auto-update/fricas ... fricas: 1.3.7 -> 1.3.8	2022-08-21 15:16:39 +02:00
R. Ryantm	49f4071f30	eggnog-mapper: 2.1.7 -> 2.1.9	2022-08-21 12:45:21 +00:00
Jonas Heinrich	8508d5decf	Merge pull request #183724 from r-ryantm/auto-update/picard-tools ... picard-tools: 2.26.11 -> 2.27.4	2022-08-21 10:03:42 +02:00
Sandro	c637bce3d9	Merge pull request #187429 from HHR2020/geogebra-723	2022-08-21 03:49:26 +02:00
HHR2020	9a946f0bf4	geogebra6: 6-0-676-0 -> 6-0-723-0	2022-08-19 18:16:37 +08:00
HHR2020	34cfab69d2	geogebra: 5-0-706-0 -> 5-0-723-0	2022-08-19 18:16:12 +08:00
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
Federico Beffa	c01bc4268a	wolfram-engine: 13.0.1 -> 13.1.0	2022-08-18 21:27:29 +02:00
R. Ryantm	98d1f4c35d	bcftools: 1.15 -> 1.16	2022-08-18 18:44:42 +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