3586 Commits

Author	SHA1	Message	Date
Benjamin Hipple	0f94e2413d	Merge pull request #91071 from bcdarwin/minc-tools-build-nifti-tools ... minc-tools: actually build Nifti support	2020-07-06 17:45:48 -04:00
Ben Darwin	28becad9be	minc-tools: actually build Nifti support	2020-07-06 11:09:33 -04:00
Benjamin Hipple	4f4e0477b7	Merge pull request #90320 from wucke13/apmplanner-2 ... apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1	2020-07-05 20:23:52 -04:00
Benjamin Hipple	b82bdcd3c3	Merge pull request #90311 from wucke13/betaflight-configurator ... betaflight-configurator: 10.6.0 -> 10.7.0	2020-07-05 19:52:10 -04:00
Ryan Mulligan	9dcf134813	Merge pull request #92317 from r-ryantm/auto-update/last ... last: 1061 -> 1066	2020-07-05 16:09:42 -07:00
R. RyanTM	c0ebe721a9	marvin: 20.13.0 -> 20.15.0	2020-07-05 15:06:16 +00:00
R. RyanTM	aca998de5e	last: 1061 -> 1066	2020-07-05 08:43:25 +00:00
Mario Rodas	c70f0c6548	Merge pull request #92257 from r-ryantm/auto-update/tebreak ... tebreak: 1.0 -> 1.1	2020-07-04 12:45:00 -05:00
R. RyanTM	d8956ba50e	tebreak: 1.0 -> 1.1	2020-07-04 10:45:49 +00:00
Dmitry Kalinkin	b234812a38	Merge pull request #92127 from veprbl/pr/snakemake_5_19_3 ... snakemake: 5.17.0 -> 5.19.3	2020-07-03 14:03:37 -04:00
Mario Rodas	212b0d32ca	Merge pull request #92169 from r-ryantm/auto-update/gmsh ... gmsh: 4.5.6 -> 4.6.0	2020-07-03 07:59:10 -05:00
R. RyanTM	97c089f2f7	gmsh: 4.5.6 -> 4.6.0	2020-07-03 11:56:48 +00:00
Dmitry Kalinkin	eb121e0901	snakemake: 5.17.0 -> 5.19.3	2020-07-02 23:36:20 -04:00
R. RyanTM	6630edb1bd	picard-tools: 2.23.0 -> 2.23.1	2020-07-02 18:09:49 -07:00
R. RyanTM	a07fe7164b	workcraft: 3.2.6 -> 3.3.0	2020-07-02 10:07:55 -07:00
Gabriel Ebner	ab4bc959e7	Merge pull request #92044 from r-ryantm/auto-update/lean ... lean: 3.16.2 -> 3.16.5	2020-07-02 15:27:58 +02:00
R. RyanTM	39ee2ab9c0	lean: 3.16.2 -> 3.16.5	2020-07-02 13:12:58 +00:00
Vincent Laporte	d34bde6ac7	why3: compatibility with JSoO 3.6.0	2020-06-28 09:59:04 +02:00
Markus Kowalewski	187b4a2e04	root: add license	2020-06-27 00:43:21 +02:00
Markus Kowalewski	52f9aebe64	qalculate-gtk: add license	2020-06-27 00:37:44 +02:00
Markus Kowalewski	c317091b5a	mrbayes: fix license	2020-06-26 11:06:35 +02:00
Markus Kowalewski	83dda57082	emboss: fix license	2020-06-26 11:05:24 +02:00
zowoq	c7e61112df	treewide: remove deprecated value Application from makeDesktopItem	2020-06-25 12:18:37 +10:00
Daniël de Kok	5f0cf22c59	cadical: enable tests	2020-06-24 15:10:53 -07:00
Maximilian Bosch	44b3530cf1	Merge pull request #90491 from shnarazk/cadical-1.3.0-PR ... cadical: 1.2.1 -> 1.3.0	2020-06-23 23:33:10 +02:00
Maximilian Bosch	3c3840ecd6	stellarium: 0.20.1 -> 0.20.2 ... https://github.com/Stellarium/stellarium/releases/tag/v0.20.2	2020-06-22 20:30:42 +02:00
Sébastien Maret	b307674e02	gildas: 20200201_a -> 20200601_b (#91096)	2020-06-19 10:40:38 -04:00
Vincent Laporte	a8bb61222f	coq_8_12: init at 8.12+β1	2020-06-19 12:28:42 +02:00
Dmitry Kalinkin	df3a188b46	root5: 5.34.36 -> 5.34.38 ... Fixes: https://nvd.nist.gov/vuln/detail/CVE-2017-1000203	2020-06-18 16:42:02 -04:00
R. RyanTM	7b104edf89	eagle: 9.6.1 -> 9.6.2	2020-06-17 11:04:13 -07:00
Austin Seipp	9954d5a583	verilator: 4.034 -> 4.036 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-06-16 11:19:57 -05:00
Narazaki, Shuji	d6c90aea17	cadical: 1.2.1 -> 1.3.0	2020-06-15 22:56:41 +09:00
Ryan Mulligan	c2df0fb59a	Merge pull request #90419 from r-ryantm/auto-update/picard-tools ... picard-tools: 2.22.9 -> 2.23.0	2020-06-15 05:48:36 -07:00
R. RyanTM	57a49ce3a4	picard-tools: 2.22.9 -> 2.23.0	2020-06-15 00:57:30 +00:00
R. RyanTM	e63bfcef96	lean: 3.15.0 -> 3.16.2	2020-06-14 19:32:20 +00:00
wucke13	6bd79857e9	apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1	2020-06-14 13:27:38 +02:00
wucke13	e4183aaa76	betaflight-configurator: 10.6.0 -> 10.7.0	2020-06-14 12:32:59 +02:00
Austin Seipp	23c9c3779d	symbiyosys: 2020.03.24 -> 2020.05.18 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-06-11 23:14:07 -05:00
Austin Seipp	13e52db31e	yosys: 2020.03.24 -> 2020.06.11 ... Also includes a bump to `abc-verifier`. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-06-11 23:14:07 -05:00
Vladimír Čunát	a5f5d020c6	Merge branch 'staging-next'	2020-06-10 16:13:48 +02:00
Ryan Mulligan	d456800b17	Merge pull request #90045 from r-ryantm/auto-update/marvin ... marvin: 20.12.0 -> 20.13.0	2020-06-10 06:01:10 -07:00
markuskowa	86d193c305	Merge pull request #90013 from r-ryantm/auto-update/jmol ... jmol: 14.30.2 -> 14.31.0	2020-06-10 14:41:33 +02:00
R. RyanTM	0f890be404	marvin: 20.12.0 -> 20.13.0	2020-06-10 12:01:26 +00:00
R. RyanTM	c04e2c41ca	jmol: 14.30.2 -> 14.31.0	2020-06-10 03:50:47 +00:00
Jan Tojnar	c637cbe992	Merge branch 'master' into staging-next	2020-06-10 04:10:34 +02:00
Symphorien Gibol	0a488516be	boolector: 3.0.0 -> 3.2.1 ... enable tests optionnally enable gmp	2020-06-08 17:32:07 -05:00
Symphorien Gibol	90b75531a5	btor2tools: pre55 -> 1.0.0-pre ... version comes from the VERSION file in the repo	2020-06-08 17:32:07 -05:00
Frederik Rietdijk	dc33419285	Merge master into staging-next	2020-06-08 12:06:12 +02:00
1000101	277bbb8efe	formatting: fix missing leading whitespace	2020-06-08 09:37:17 +02:00
Ryan Mulligan	38b720e653	Merge pull request #89667 from r-ryantm/auto-update/picard-tools ... picard-tools: 2.22.8 -> 2.22.9	2020-06-07 15:38:23 -07:00