1090 Commits

Author	SHA1	Message	Date
Ben Siraphob	a5049e8caa	Merge pull request #130971 from siraben/parallel-coq ... coq: enable parallel building	2021-07-22 10:00:42 +07:00
Ben Siraphob	7c1d4d8255	coq: enable parallel building	2021-07-22 02:04:47 +07:00
Sandro	8472d44b82	Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4 ... logisim: cleanup	2021-07-20 19:48:37 +02:00
Sandro	fd1ab319b7	logisim: cleanup	2021-07-20 18:33:48 +02:00
Sandro	c401885fe1	Merge pull request #130192 from Stunkymonkey/logisim-phases ... logisim: deprecate phases	2021-07-20 18:32:40 +02:00
Guillaume Girol	6554384a70	boolector: 3.2.1 -> 3.2.2	2021-07-19 16:11:01 -07:00
Jan van Brügge	e32da890c9	isabelle: Add desktop entry	2021-07-19 12:04:30 +02:00
Jan van Brügge	9111bd40b2	isabelle: 2020 -> 2021	2021-07-18 23:51:36 +02:00
Felix Buehler	82cb33a0ae	treewide: remove meta.version	2021-07-18 00:07:38 +02:00
(cdep)illabout	299082636c	cedille: set no hydra platforms	2021-07-17 11:17:09 +09:00
(cdep)illabout	ff0c051daf	cedille: mark broken	2021-07-17 11:10:26 +09:00
Sandro	9b8e8b2047	Merge pull request #130193 from Stunkymonkey/verifast-phases ... verifast: deprecate phases	2021-07-15 23:40:17 +02:00
Sandro	025cab89d9	Merge pull request #130187 from Stunkymonkey/workcraft-phases ... workcraft: deeprecate phases	2021-07-15 21:59:16 +02:00
Vincent Laporte	e57571bdb6	gappa: 1.3.5 → 1.4.0	2021-07-15 07:55:52 +02:00
Felix Buehler	b6fb4cedaf	verifast: deprecate phases	2021-07-14 16:41:30 +02:00
Felix Buehler	ac75afe239	logisim: deprecate phases	2021-07-14 16:40:28 +02:00
Felix Buehler	cdf9e86ad1	leo3-bin: deprecate phases	2021-07-14 16:38:38 +02:00
Felix Buehler	3680a85bcb	workcraft: deeprecate phases	2021-07-14 16:33:41 +02:00
Gabriel Ebner	7880aaa756	Merge pull request #124454 from r-ryantm/auto-update/elan ... elan: 1.0.2 -> 1.0.6	2021-07-04 10:19:58 +02:00
Sarunas Valaskevicius	5b69b1f3fe	tlaToolbox: fix crash on file open dialog	2021-07-02 23:04:39 +01:00
Gabriel Ebner	b38329171a	Merge pull request #128926 from collares/lean-3.31 ... lean: 3.30.0 -> 3.31.0	2021-07-02 19:57:13 +02:00
Mauricio Collares	258e959faf	lean: 3.30.0 -> 3.31.0	2021-07-01 20:47:08 -03:00
Ben Siraphob	e86f5bfa8f	hol: expand platforms to unix	2021-07-01 22:19:02 +07:00
Théo Zimmermann	cc84f3906e	coq: fix issue introduced in #128603 ... This triggerred coq-community/coq-nix-toolbox#42.	2021-06-30 16:38:39 +02:00
Théo Zimmermann	d3bb50e7da	Coq: adapt for upcoming 8.14 (#128603)	2021-06-30 04:47:31 +02:00
Vincent Laporte	d60534722e	why3: use GTK3	2021-06-27 09:03:12 +02:00
Vincent Laporte	773bdf6998	why3: 1.3.3 → 1.4.0 ... framac: 22.0 → 23.0-rc1	2021-06-27 09:03:12 +02:00
R. RyanTM	b7ecc3db11	eprover: 2.5 -> 2.6	2021-06-23 11:11:41 +00:00
R. RyanTM	816d212fa2	gappa: 1.3.5 -> 1.4.0	2021-06-16 13:16:13 -07:00
Vincent Laporte	5ca9831cb1	ocamlPackages.menhir: 20190626 → 20210419 ... ocamlPackages.menhirLib: init at 20210419 ocamlPackages.menhirSdk: init at 20210419	2021-06-05 13:38:01 +02:00
Mauricio Collares	cbaf78cdaa	lean: substitute release commit sha1	2021-05-26 11:53:55 -03:00
R. RyanTM	15c278930c	elan: 1.0.2 -> 1.0.6	2021-05-26 05:44:59 +00:00
Robert Scott	bcc99b83d0	libpoly: fix darwin build ... issue reported upstream	2021-05-21 20:21:20 -07:00
Stéphan Kochen	acf640be7b	elan: fix darwin build	2021-05-15 12:02:46 +02:00
maralorn	881d2af5ee	Merge pull request #122286 from NixOS/haskell-updates	2021-05-11 02:31:06 +02:00
Malte Brandy	39c0dd99a4	tamarin-prover: Mark broken	2021-05-11 01:56:48 +02:00
Ben Siraphob	418a37d99c	coq2html: 20170720 -> 1.2	2021-05-09 22:00:15 +02:00
R. RyanTM	2c143443f7	libpoly: 0.1.8 -> 0.1.9	2021-05-08 18:34:00 -07:00
Jan Tojnar	468cb5980b	gnome: rename from gnome3 ... Since GNOME version is now 40, it no longer makes sense to use the old attribute name.	2021-05-08 09:47:42 +02:00
Malte Brandy	2a11f1f5cc	Merge branch 'master' into haskell-updates	2021-05-07 15:03:54 +02:00
Arnout Engelen	b68130fd2c	test-utilities: version test ... Extract 'version test' to a reusable test utility as discussed in https://github.com/NixOS/nixpkgs/pull/119636#issuecomment-826137021 and	2021-05-07 09:53:35 +02:00
sternenseemann	eaeb69862c	petrinizer: restrict platforms by sbv ... sbv has the most limited range of platforms of the dependencies.	2021-05-06 16:24:58 +02:00
sternenseemann	73c2dd4aa6	petrinizer: fix build ... * take z3 haskell package from haskellPackages * take sbv 7.13 from haskellPackages, apply patch fixing build with GHC >= 8.8.8	2021-05-06 11:43:59 +02:00
R. RyanTM	96e1cc0768	lean: 3.29.0 -> 3.30.0	2021-05-01 05:49:45 +00:00
R. RyanTM	e99e9f2d47	elan: 1.0.0 -> 1.0.2	2021-04-29 00:04:34 -04:00
Gabriel Ebner	a062505e10	Merge pull request #120177 from r-ryantm/auto-update/elan ... elan: 0.11.0 -> 1.0.0	2021-04-27 22:52:12 +02:00
R. RyanTM	32cb3382e5	elan: 0.11.0 -> 1.0.0	2021-04-27 22:32:13 +02:00
Gabriel Ebner	abbc2384d7	Merge pull request #120822 from r-ryantm/auto-update/lean ... lean: 3.28.0 -> 3.29.0	2021-04-27 22:28:19 +02:00
R. RyanTM	4ccb9422c7	lean: 3.28.0 -> 3.29.0	2021-04-27 05:34:13 +00:00
Vincent Laporte	35dfa0e927	alt-ergo: 2.3.3 → 2.4.0	2021-04-26 08:32:18 +02:00