3627 Commits

Author	SHA1	Message	Date
Daniël de Kok	655d902909	finalfrontier: 0.9.3 -> 0.9.4 ... Changelog: https://github.com/finalfusion/finalfrontier/releases/tag/0.9.4	2020-07-27 11:02:09 +02:00
Vladyslav M	77d6eebc66	Merge pull request #90424 from kini/drat-trim/bump ... drat-trim: 2017-08-31 -> 2020-06-05	2020-07-26 22:50:14 +03:00
Daniël de Kok	0f9afb2716	Merge pull request #92253 from danieldk/finalfrontier ... finalfrontier: init at 0.9.3	2020-07-26 08:34:49 +02:00
Peter Simons	b4dd96b206	sad: mark package as broken because if depends on dropped ghc-8.4.4 ... Ping @schmitthenner.	2020-07-24 13:06:29 +02:00
Maximilian Bosch	a83e2e3662	Merge pull request #93742 from Xitian9/geogebra ... geogebra: 5-0-574-0 -> 5-0-593-0	2020-07-24 11:34:38 +02:00
Evils	b6863cbfe7	kicad: fix build ... disable scripting support as 92261 broke wxPython_4_0 and i haven't managed to get wxPython 4.1 to work something caused makeWrapper to have to be added on its own not sure where it came from before... and some cleanup	2020-07-24 03:26:00 -04:00
Evils	e842233678	kicad-unstable: 2020-05-14 -> 2020-07-21	2020-07-24 03:26:00 -04:00
Stephen Morgan	d9e6338fec	geogebra: 5-0-574-0 -> 5-0-593-0	2020-07-24 15:11:42 +10:00
Daniël de Kok	4dd9423b05	finalfrontier: init at 0.9.3	2020-07-23 10:05:33 +02:00
Robert Scott	fd5c0b94b2	Merge pull request #76960 from risicle/ris-hal-hardware-analyzer ... hal-hardware-analyzer: init at 2.0.0	2020-07-21 22:08:05 +01:00
Daniël de Kok	622150e873	Merge pull request #93429 from danieldk/sortmerna-4.2.0 ... sortmerna: 3.0.3 -> 4.2.0	2020-07-21 09:34:01 +02:00
Robert Scott	d2d921b763	hal-hardware-analyzer: init at 2.0.0	2020-07-20 22:35:00 +01:00
Daniël de Kok	5bb161af08	Merge pull request #93351 from alyssais/gfan ... gfan: fix clang build on non-Darwin	2020-07-19 10:23:13 +02:00
Daniël de Kok	dee4befc78	Merge pull request #93406 from lsix/add-gnu-gama ... gama: init at 2.09	2020-07-19 08:49:37 +02:00
Lancelot SIX	9eccd6417a	gama: init at 2.09	2020-07-18 18:58:22 +01:00
Gabriel Ebner	3ffc16a834	Merge pull request #93375 from MrChico/cvc4_1.8 ... cvc4: 1.6 -> 1.8	2020-07-18 18:48:12 +02:00
Daniël de Kok	56c841393a	sortmerna: 3.0.3 -> 4.2.0 ... - Fixes build against rocksdb 6.10.2 - Use dynamic rocksdb and zlib libraries - Build a dynamic binary	2020-07-18 18:06:23 +02:00
Martin Lundfall	424936ed33	cvc4: 1.6 -> 1.8 ... Co-authored-by: Gabriel Ebner <gebner@gebner.org> Update pkgs/applications/science/logic/cvc4/default.nix Co-authored-by: Gabriel Ebner <gebner@gebner.org>	2020-07-18 17:48:10 +02:00
Vladyslav M	2076487221	rink: 0.4.5 -> 0.5.0	2020-07-18 13:30:05 +03:00
Keshav Kini	b28d329c62	drat-trim: 2017-08-31 -> 2020-06-05	2020-07-17 21:38:31 -07:00
Alyssa Ross	8f5eaa6deb	gfan: fix clang build on non-Darwin ... -fno-guess-branch-probability isn't a Darwin-specific thing, it's a clang-specific thing.	2020-07-17 15:30:24 +00:00
Ryan Mulligan	891e3cb973	Merge pull request #92575 from r-ryantm/auto-update/seaview ... seaview: 5.0.2 -> 5.0.4	2020-07-15 21:23:13 -07:00
markuskowa	7204d9aa36	Merge pull request #93042 from r-ryantm/auto-update/gromacs ... gromacs: 2020.2 -> 2020.3	2020-07-13 13:52:28 +02:00
R. RyanTM	215011c44d	gromacs: 2020.2 -> 2020.3	2020-07-13 07:11:49 +00:00
Daniël de Kok	a36e044be2	Merge pull request #92957 from lopsided98/qgroundcontrol-update ... qgroundcontrol: 4.0.8 -> 4.0.9	2020-07-12 07:37:29 +02:00
Ben Wolsieffer	060c1ef6a5	qgroundcontrol: 4.0.8 -> 4.0.9	2020-07-11 15:27:23 -04:00
Florian Klink	785b558e66	Merge pull request #92781 from r-ryantm/auto-update/gtkwave ... gtkwave: 3.3.104 -> 3.3.105	2020-07-11 13:57:57 +02:00
Timo Kaufmann	9aab32b51c	Merge pull request #92796 from r-ryantm/auto-update/jmol ... jmol: 14.31.0 -> 14.31.2	2020-07-09 18:43:50 +02:00
Austin Seipp	44f8640ae4	mcy: 2020.03.21 -> 2020.07.06 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-07-09 10:33:09 -05:00
R. RyanTM	46e8ec7927	jmol: 14.31.0 -> 14.31.2	2020-07-09 14:44:34 +00:00
Austin Seipp	a8e8e99458	symbiyosys: 2020.05.18 -> 2020.07.03 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-07-09 09:12:41 -05:00
Austin Seipp	63e55fae00	yosys: 2020.06.19 -> 2020.07.07 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-07-09 09:12:41 -05:00
R. RyanTM	6e3fd6892c	gtkwave: 3.3.104 -> 3.3.105	2020-07-09 10:06:28 +00:00
Jörg Thalheim	141f9ce807	cryptominisat: 5.7.1 -> 5.8.0 (#92681) ... Co-authored-by: Jörg Thalheim <joerg@thalheim.io>	2020-07-09 08:24:55 +01:00
Jörg Thalheim	223c91d032	cryptominisat: use fetchpatch	2020-07-09 08:21:21 +01:00
Jörg Thalheim	e3d703bb92	cryptominisat: fix build on darwin	2020-07-09 08:11:28 +01:00
Daniël de Kok	26d250d4b3	Merge pull request #92738 from r-ryantm/auto-update/yacas ... yacas: 1.8.0 -> 1.9.1	2020-07-09 09:02:26 +02:00
R. RyanTM	d27df249ee	yacas: 1.8.0 -> 1.9.1	2020-07-08 18:25:49 +00:00
R. RyanTM	3628d0d893	cryptominisat: 5.7.1 -> 5.8.0	2020-07-08 04:51:18 +00:00
R. RyanTM	02fe1ec6ec	gwyddion: 2.55 -> 2.56	2020-07-07 10:11:50 -07:00
R. RyanTM	e6113be804	seaview: 5.0.2 -> 5.0.4	2020-07-07 13:30:35 +00:00
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