5489 commits

Author	SHA1	Message	Date
Fabian Affolter	32003c3051	toil: 5.4.0 -> 5.6.0	2022-01-13 21:37:08 +01:00
Fabian Affolter	480999d914	Merge pull request #154781 from fabaff/bump-cwltool ... cwltool: 3.1.20211104071347 -> 3.1.20211107152837	2022-01-13 00:25:01 +01:00
R. RyanTM	cf340a9dae	finalfusion-utils: 0.13.2 -> 0.14.1 ... (#154470)	2022-01-12 23:42:03 +01:00
Fabian Affolter	1a549598b4	cwltool: 3.1.20211104071347 -> 3.1.20211107152837	2022-01-12 18:00:43 +01:00
1000teslas	a4b6785de9	isabelle: patch jni libs for nitpick	2022-01-11 21:09:27 +11:00
1000teslas	d9d30199ec	isabelle: patch zipperposition binary	2022-01-11 11:55:38 +11:00
Phillip Seeber	afdfec504f	cp2k: 8.2.0 -> 9.1.0	2022-01-10 13:54:46 +01:00
Bernardo Meurer	95be2a7068	Merge pull request #154084 from NickCao/astrolog ... astrolog: fix cross compilation	2022-01-09 18:05:11 +00:00
Fabian Affolter	8aea087b19	Merge pull request #154077 from fabaff/bump-nextinspace ... nextinspace: 1.0.6 -> 2.0.3	2022-01-09 18:57:30 +01:00
Nick Cao	bc547213eb	astrolog: fix cross compilation	2022-01-09 09:22:51 +08:00
Fabian Affolter	b9c6bff4f0	nextinspace: 1.0.6 -> 2.0.3	2022-01-09 01:17:23 +01:00
Renaud	3e90bc0c91	Merge pull request #153014 from numinit/add-klee ... klee: init at 2.2	2022-01-09 00:16:19 +01:00
Morgan Jones	5f8f72c10c	klee: init at 2.2	2022-01-08 15:49:07 -07:00
R. RyanTM	c5e9e73029	gmsh: 4.9.0 -> 4.9.2 ... * gmsh: 4.9.0 -> 4.9.2 (#152872) * gmsh: use https Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>	2022-01-08 01:18:15 +01:00
Mauricio Collares	81d4c28748	lean: 3.36.0 -> 3.37.0	2022-01-07 16:51:55 -03:00
Lassulus	27ff8d72f5	Merge pull request #152326 from kmein/feature/astrolog ... astrolog: switches for using optional ephemeris/atlas files	2022-01-04 23:10:50 +01:00
Mauricio Collares	b790f8ce31	lean: 3.35.1 -> 3.36.0	2022-01-04 10:35:17 -03:00
Gabriel Ebner	adf7f03d3b	Merge pull request #153337 from collares/lean-3.35.1 ... lean: 3.35.0 -> 3.35.1	2022-01-03 16:40:00 +01:00
Mauricio Collares	5b3eac3130	lean: 3.35.0 -> 3.35.1	2022-01-03 11:42:18 -03:00
markuskowa	09819d7eff	Merge pull request #152801 from r-ryantm/auto-update/messer-slim ... messer-slim: 3.6 -> 3.7	2022-01-03 10:50:18 +01:00
Gabriel Ebner	7fb27d1c22	Merge pull request #153190 from jvanbruegge/isabelle-vampire ... isabelle: Use vampire and eprover from nixpkgs	2022-01-02 22:56:09 +01:00
Jan van Brügge	c601134af8	isabelle: Use vampire and eprover from nixpkgs ... It also removes the unused perl input	2022-01-02 20:53:33 +01:00
Jan van Brügge	f79b811f2d	eprover: Add option to enable LFHOL reasoning ... Using eprover as automated theorem prover for sledgehammer requires this option.	2022-01-02 20:53:32 +01:00
Sergei Trofimovich	369d7bb4ca	z3: 4.8.12 -> 4.8.14 ... While at it added trivial updater plumbing.	2022-01-02 12:45:59 -06:00
R. RyanTM	e4992cdd65	stacks: 2.59 -> 2.60 ... (#149101)	2022-01-02 19:23:58 +01:00
R. RyanTM	0bf7411211	libpoly: 0.1.10 -> 0.1.11 ... * libpoly: 0.1.10 -> 0.1.11 (#144410) * libpoly: remove unneeded postPatch (fixed upstream by now) Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>	2022-01-02 17:38:00 +01:00
R. RyanTM	caa56925f9	yices: 2.6.2 -> 2.6.4 ... (#143311)	2022-01-02 10:15:42 +01:00
Martin Weinelt	b8149a7f04	Merge pull request #152907 from dotlambda/python2-remove	2022-01-02 01:33:57 +01:00
Jan van Brügge	b54e5a841b	vampire: 4.5.1 -> 4.6.1	2022-01-01 22:13:11 +01:00
Sandro	d8028c8e06	Merge pull request #147367 from TilCreator/package-inav-configurator	2022-01-01 14:05:44 +01:00
Gabriel Ebner	edac0bea9d	Merge pull request #152921 from jvanbruegge/isabelle-2021-1 ... isabelle: 2021 -> 2021-1	2022-01-01 14:00:57 +01:00
Bobby Rong	13e59225f7	Merge pull request #149135 from r-ryantm/auto-update/finalfusion-utils ... finalfusion-utils: 0.13.0 -> 0.13.2	2022-01-01 20:45:37 +08:00
R. Ryantm	58a45d8020	finalfusion-utils: 0.13.0 -> 0.13.2	2022-01-01 20:18:54 +08:00
Martin Weinelt	4beaf5301d	python3Packages.xenomapper: move to top-level	2022-01-01 02:09:11 +01:00
Martin Weinelt	39801adb66	Merge pull request #150333 from piegamesde/update-streamlit	2021-12-31 16:53:14 +01:00
piegames	9ddd00301c	pythonPackages.streamlit: 0.50.2 -> 1.2.0	2021-12-31 15:17:26 +01:00
Ben Siraphob	efbd6bf6e6	Merge pull request #152932 from r-ryantm/auto-update/calc ... calc: 2.14.0.8 -> 2.14.0.13	2021-12-31 20:39:26 +07:00
R. Ryantm	e3271d42ce	calc: 2.14.0.8 -> 2.14.0.13	2021-12-31 12:45:14 +00:00
Jan van Brügge	4b9c0cb005	isabelle: 2021 -> 2021-1	2021-12-31 13:01:41 +01:00
Jan van Brügge	d3e2cf4314	verit: 2016 -> 2021.06.2	2021-12-31 13:00:43 +01:00
Gabriel Ebner	5fcfc1d34a	Merge pull request #152605 from j0hax/speedcrunch-fixups ... Speedcrunch fixups	2021-12-31 10:36:06 +01:00
Johannes Arnold	e3d982dfee	speedcrunch: 0.12.0 -> unstable-2021-10-09	2021-12-31 10:04:07 +01:00
Bobby Rong	b8ceb2637a	Merge pull request #152811 from r-ryantm/auto-update/jmol ... jmol: 14.32.2 -> 14.32.6	2021-12-31 08:49:50 +08:00
Maximilian Bosch	8ac7f8d217	Merge pull request #152106 from Ma27/bump-stellarium ... stellarium: 0.21.2 -> 0.21.3	2021-12-30 23:15:08 +01:00
R. Ryantm	edceb1ed24	jmol: 14.32.2 -> 14.32.6	2021-12-30 20:51:37 +00:00
R. Ryantm	37d2f5cbb4	messer-slim: 3.6 -> 3.7	2021-12-30 20:32:56 +00:00
7c6f434c	3c5bd4a74c	Merge pull request #152409 from collares/singular-maxprocess ... singular: backport patch to fix docbuilding with >= 64 cpus	2021-12-30 16:35:18 +00:00
Johannes Arnold	5ca1d45da3	speedcrunch: use proper fetcher	2021-12-29 17:52:11 +01:00
Ben Siraphob	39a0a70d29	treewide: fix homepages with permanent redirect to https	2021-12-29 22:06:47 +07:00
Kierán Meinhardt	b4b9096d66	astrolog: switches for using optional ephemeris/atlas files	2021-12-28 13:50:26 +01:00