680 Commits

Author	SHA1	Message	Date
Felix Buehler	6672dde558	treewide: use optionalAttrs instead of 'else {}'	2023-06-25 11:01:34 -03:00
Reynald Affeldt	b2f53e3726	mathcomp-infotheo: 0.5.1 -> 0.5.2	2023-06-20 21:18:53 +02:00
Cyril Cohen	d22a44e57a	hb dep is added later, after we check the version number	2023-06-20 13:41:07 +02:00
Vincent Laporte	30ee65ee2f	coqPackages.reglang: 1.1.2 → 1.1.3	2023-06-15 10:11:09 +02:00
Vincent Laporte	cc2fb2c1e4	coqPackages.itauto: init at 8.17.0 for Coq 8.17 ... Propagate `findlib` when needed Add tests	2023-06-15 06:16:26 +02:00
Pol Dellaiera	7907dd9d6b	Merge pull request #235924 from Stunkymonkey/remove-then-{} ... treewide: use lib.optionalAttrs instead of 'then {}'	2023-06-13 20:14:58 +02:00
Vincent Laporte	30620750e8	coqPackages.Verdi: 20211026 → 20230503	2023-06-12 08:59:51 +02:00
Vincent Laporte	e59d94ef4c	coqPackages.Cheerios: 20200201 → 20230107	2023-06-12 08:59:51 +02:00
Vincent Laporte	00144a9175	coqPackages.StructTact: 20210328 → 20230107	2023-06-12 08:59:51 +02:00
Vincent Laporte	bd28a38ebf	coqPackages.InfSeqExt: 20200131 → 20230107	2023-06-12 08:59:51 +02:00
Nick Cao	bbe8c82b4c	Merge pull request #236417 from vbgl/coq-gappalib-1.5.3 ... coqPackages.gappalib: 1.5.2 → 1.5.3	2023-06-08 03:13:21 -06:00
Vincent Laporte	f09cd3b7de	coqPackages.QuickChick: 1.6.4 → 1.6.5	2023-06-08 08:55:44 +02:00
Vincent Laporte	fba73283c1	coqPackages.simple-io: 1.7.0 → 1.8.0	2023-06-08 08:55:44 +02:00
Vincent Laporte	ffd47a047d	coqPackages.relation-algebra: init at 1.7.9 for Coq 8.17	2023-06-07 11:51:39 +02:00
Vincent Laporte	00cc322065	coqPackages.gappalib: 1.5.2 → 1.5.3	2023-06-07 10:35:09 +02:00
Felix Buehler	ed3b102d1e	treewide: use use lib.optionalAttrs instead of 'then {}'	2023-06-06 22:54:31 +02:00
Vincent Laporte	04c41a12cf	coqPackages.mathcomp-word: 2.0 → 2.1	2023-06-06 10:28:20 +02:00
Vincent Laporte	8d4d822bc0	coqPackages.extructures: enable for Coq 8.17	2023-06-01 05:57:58 +02:00
Vincent Laporte	cba7a1095d	coqPackages.deriving: 0.1.0 → 0.1.1	2023-06-01 05:57:58 +02:00
Vincent Laporte	4a6b131836	coqPackages.corn: enable for Coq 8.17	2023-05-31 11:46:24 +02:00
Vincent Laporte	810f901a4e	coqPackages.math-classes: 8.15.0 → 8.17.0	2023-05-31 11:46:24 +02:00
Vincent Laporte	217bf86dc0	coqPackages.aac-tactics: init at 8.17.0	2023-05-24 10:18:43 +02:00
Vincent Laporte	499cad7a72	Merge pull request #230891 from proux01/update-mathcomp-1.17.0 ... Mathcomp 1.16.0 -> 1.17.0	2023-05-23 17:52:15 +02:00
Vincent Laporte	bec9f57aa5	coqPackages.CoLoR: 1.8.2 → 1.8.3	2023-05-23 12:29:31 +02:00
Vincent Laporte	a68600dc25	coqPackages.coqprime: 8.15 → 8.17	2023-05-22 08:42:07 +02:00
Vincent Laporte	47c722bd77	coqPackages_8_17.dpdgraph: init at 1.0+8.17	2023-05-22 06:40:31 +02:00
Pierre Roux	ed1f52d4c2	Mathcomp 1.16.0 -> 1.17.0	2023-05-17 16:26:09 +02:00
Pierre Roux	52c9e5c8f9	coqPackages.coqeal: 1.1.1 -> 1.1.3	2023-05-17 16:24:06 +02:00
Pierre Roux	7a3bc4f18f	coqPackages.multinomials: 1.5.6 -> 1.6.0	2023-05-17 16:24:06 +02:00
Pierre Roux	e5264e45b7	coqPackages.coquelicot: 3.3.0 -> 3.3.1	2023-05-17 16:24:06 +02:00
Pierre Roux	a0ca431141	Add coqPackages.mathcomp 2.0.0	2023-05-15 11:26:42 +02:00
affeldt-aist	8a92dd9a9a	mathcomp-infotheo: init at 0.5.1 (#231077)	2023-05-11 23:09:28 +02:00
Vincent Laporte	0697e32ae1	coqPackages_8_17: enable a few packages for Coq 8.17	2023-04-13 14:23:14 +02:00
Pierre Roux	6302147d48	coqPackages.mathcomp-algebra-tactics 1.0.0 -> 1.1.1	2023-04-13 14:21:59 +02:00
Ali Caglayan	6462ef85d8	coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17 ... Signed-off-by: Ali Caglayan <alizter@gmail.com>	2023-04-04 13:23:51 +02:00
Ali Caglayan	21131995d9	coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0 ... Signed-off-by: Ali Caglayan <alizter@gmail.com>	2023-04-04 13:23:51 +02:00
Ali Caglayan	463643afa8	coqPackages.HoTT: 8.16 -> 8.17 ... We bump the HoTT library to 8.17 and switch to using Dune for the build. I attempted to include the 8.10 - 8.13 builds but I couldn't get autoconf to work the way I wanted so I gave up in the end. Signed-off-by: Ali Caglayan <alizter@gmail.com>	2023-03-30 20:05:15 +02:00
Pierre Roux	25c631cc0e	Add coqPackages.mathcomp-apery	2023-03-30 13:55:40 +02:00
Cyril Cohen	a601e65967	coqPackages_8_17.stdpp: init at 1.8.0	2023-03-27 16:56:32 +02:00
Vincent Laporte	9d8a066fd4	coqPackages.ITree: 4.0.0 → 5.1.0	2023-03-15 09:14:01 +01:00
Vincent Laporte	265f0cae75	coqPackages.paco: enable for Coq 8.17	2023-03-15 09:14:01 +01:00
Vincent Laporte	73bc86dc9c	coqPackages.coq-ext-lib: enable for Coq 8.17	2023-03-15 09:14:01 +01:00
Pierre Roux	2959062362	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
Vincent Laporte	d8cc4e215d	coqPackages.mathcomp-analysis: 0.6.0 → 0.6.1	2023-03-03 21:17:02 +00:00
Vincent Laporte	c81f6065c5	coqPackages.mathcomp-analysis: 0.5.3 → 0.6.0	2023-03-03 21:17:02 +00:00
Vincent Laporte	1662bbb5fb	coqPackages.smtcoq.cvc4: fix build with bash 5.2 ... See: 4d85cedf5a	2023-03-01 10:02:09 +00:00
Vincent Laporte	82d2212d29	compcert: 3.11 → 3.12	2023-03-01 09:45:31 +00:00
Vincent Laporte	0cad0fd119	coqPackages.coq-elpi: propagate findlib	2023-02-28 10:59:42 +00:00
Vincent Laporte	a18a7e5ff8	coqPackages.coqhammer: fix src URL	2023-02-28 10:59:42 +00:00
Mario Rodas	ca97b34a97	coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16	2023-02-21 04:20:00 +00:00