5737 Commits

Author	SHA1	Message	Date
R. Ryantm	d29ff668b5	opensmt: 2.3.0 -> 2.3.1	2022-03-17 18:40:58 +00:00
Bobby Rong	2079219a72	Merge pull request #164162 from jdupak/master ... QtRVSim: 0.9.1 -> 0.9.2	2022-03-16 21:32:22 +08:00
Ryan Mulligan	2a0d98d319	Merge pull request #163638 from r-ryantm/auto-update/siril ... siril: 0.99.10.1 -> 1.0.0	2022-03-15 14:56:47 -07:00
Ryan Mulligan	7e1cc45b66	Merge pull request #162443 from r-ryantm/auto-update/phd2 ... phd2: 2.6.10 -> 2.6.11	2022-03-15 14:56:29 -07:00
Martin Weinelt	8d18f29b60	Merge pull request #161366 from NixOS/staging-next ... Staging next 2022-02-22	2022-03-15 22:31:01 +01:00
Ben Siraphob	cc7b9eac78	Merge pull request #164195 from siraben/nuXmv-init	2022-03-15 18:53:13 +00:00
Ben Siraphob	b39792d141	nuXmv: init at 2.0.0	2022-03-15 13:50:58 -05:00
Vladimír Čunát	b61852cd94	Merge branch 'master' into staging-next	2022-03-15 18:08:32 +01:00
Rasmus Thomsen	69895c6248	bada-bib: 0.5.1 -> 0.6.0	2022-03-15 12:50:26 +01:00
Jakub Dupak	b72a99d718	QtRVSim: 0.9.1 -> 0.9.2	2022-03-14 22:04:17 +02:00
github-actions[bot]	0ed928e4ab	Merge master into staging-next	2022-03-14 12:01:26 +00:00
Mauricio Collares	5240cbc0d8	sage: adapt tachyon interface for 0.99.3	2022-03-13 16:53:22 -03:00
github-actions[bot]	1630ab9b47	Merge master into staging-next	2022-03-13 06:05:11 +00:00
Jakub Dupak	d09489e5f1	QtRvSim: init at 0.9.1 (#163128) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-03-13 03:08:40 +01:00
github-actions[bot]	6f7d104254	Merge master into staging-next	2022-03-13 00:02:14 +00:00
Sandro	529b89d755	Merge pull request #161434 from collares/lean-3.40.0	2022-03-12 23:43:20 +01:00
Sandro	8057801ad7	Merge pull request #163849 from fedeinthemix/add-xschem-2	2022-03-12 22:32:08 +01:00
R. Ryantm	29d7a27d9f	opensmt: 2.2.0 -> 2.3.0	2022-03-12 17:44:51 +00:00
Federico Beffa	5d702c6b23	gaw: init at version 20200922 ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-03-12 17:50:10 +01:00
Federico Beffa	a40de4b146	xschem: init at version 3.0.0 ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-03-12 17:49:48 +01:00
github-actions[bot]	7573d7fe79	Merge master into staging-next	2022-03-11 18:01:20 +00:00
Renaud	28721c55c5	Merge pull request #160342 from Luflosi/update/yosys ... yosys: 0.12+54 -> 0.15	2022-03-11 18:15:51 +01:00
Mauricio Collares	bab25a7a3a	lean: 3.40.0 -> 3.41.0	2022-03-11 11:40:27 -03:00
R. Ryantm	f764458ed2	siril: 0.99.10.1 -> 1.0.0	2022-03-10 22:40:03 +00:00
github-actions[bot]	201cc2f89b	Merge master into staging-next	2022-03-09 00:02:05 +00:00
Luflosi	0e4d199cbd	abc-verifier: 2021.11.12 -> 2022.03.04	2022-03-08 18:28:13 +01:00
R. Ryantm	e0c3da7946	jmol: 14.32.28 -> 14.32.30	2022-03-08 16:34:40 +00:00
github-actions[bot]	68a45fb1f2	Merge master into staging-next	2022-03-06 18:01:10 +00:00
R. Ryantm	f3288c60f0	marvin: 22.3.0 -> 22.7.0	2022-03-06 07:45:27 +00:00
github-actions[bot]	3f8e60728f	Merge master into staging-next	2022-03-06 06:01:06 +00:00
Bobby Rong	cf7e4cac05	Merge pull request #161194 from wucke13/mission-planner ... mission-planner: 1.3.74 -> 1.3.76	2022-03-06 13:28:50 +08:00
github-actions[bot]	9dd2a8b600	Merge master into staging-next	2022-03-06 00:02:10 +00:00
Dmitry Kalinkin	149d68268d	root: fix ROOTConfig.cmake.in patching	2022-03-04 21:04:19 -05:00
github-actions[bot]	d4bfb57f40	Merge master into staging-next	2022-03-05 00:01:54 +00:00
7c6f434c	d5058ae9e5	Merge pull request #162688 from r-ryantm/auto-update/jmol ... jmol: 14.32.24 -> 14.32.28	2022-03-04 20:43:10 +00:00
github-actions[bot]	437813752b	Merge master into staging-next	2022-03-04 18:01:19 +00:00
Bruno Bzeznik	7d62054650	angsd: init at 0.937	2022-03-04 09:17:35 -06:00
github-actions[bot]	fc22d0d5e2	Merge master into staging-next	2022-03-04 12:01:33 +00:00
Matthew Wakefield	e85b65f986	minimap2: enable aarch64 builds (#161169) ... Co-authored-by: Bobby Rong <rjl931189261@126.com> Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-03-04 12:27:29 +01:00
R. Ryantm	f5258a7d12	jmol: 14.32.24 -> 14.32.28	2022-03-03 23:44:55 +00:00
github-actions[bot]	12423e2e92	Merge master into staging-next	2022-03-02 12:05:47 +00:00
R. Ryantm	04ee1b8975	phd2: 2.6.10 -> 2.6.11	2022-03-02 03:13:28 +00:00
Justin Bedo	89eff15f31	last: 1260 -> 1268	2022-03-02 13:35:56 +11:00
github-actions[bot]	4ae3f9a06c	Merge master into staging-next	2022-03-01 12:05:54 +00:00
Gabriel Ebner	8934eb7c91	Merge pull request #157843 from jvanbruegge/isabelle_setup ... isabelle: Rebuild isabelle_setup.jar	2022-03-01 12:11:25 +01:00
github-actions[bot]	bfb0bc0461	Merge master into staging-next	2022-02-28 18:05:41 +00:00
Sandro	b7ec0afb59	Merge pull request #162205 from Stunkymonkey/treewide-vVersion	2022-02-28 14:26:16 +01:00
Felix Buehler	1573dbdcd0	treewide: fix versions starting with 'v'	2022-02-28 13:05:18 +01:00
github-actions[bot]	e71c1249e8	Merge master into staging-next	2022-02-28 12:01:10 +00:00
Felix Buehler	fe7678ca81	raxml-mpi: remove appendToName to have a consistent package name for repology	2022-02-28 12:46:15 +01:00