729 Commits

Author	SHA1	Message	Date
Vincent Laporte	e06c716ef1	coqPackages.interval: 4.8.0 → 4.9.0 (#266082)	2023-11-10 08:38:13 +01:00
ineol	6a63b4a97a	coqPackages.iris-named-props: new expression (#263100)	2023-11-10 08:37:23 +01:00
Quinn Dougherty	a0eb0aa889	coqPackages.vcfloat: fix	2023-11-09 06:43:48 +01:00
Vincent Laporte	42bea51aa7	coqPackages.VST: 2.11.1 → 2.12	2023-11-01 07:07:41 +01:00
Pierre Roux	113bbeb1eb	fourcolor: 1.3.0 -> 1.3.1	2023-10-31 08:17:03 +01:00
Pierre Roux	fc9f61fa96	Add various mathcomp 2.1 versions	2023-10-31 08:17:03 +01:00
Théo Zimmermann	01af077865	coqPackages.coq-lsp: 0.1.7 -> 0.1.8	2023-10-26 10:13:24 +02:00
Arthur Azevedo de Amorim	0540b29909	Update pkgs/development/coq-modules/extructures/default.nix ... Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>	2023-10-25 18:19:16 +02:00
Arthur Azevedo de Amorim	e5de9895e8	coqPackages.extructures: 0.3.1 -> 0.4.0	2023-10-25 18:19:16 +02:00
Pierre Roux	c0c7836116	Add mathcomp 2.1.0	2023-10-25 17:45:56 +02:00
Vincent Laporte	b845260c90	coqPackages.corn: 8.16.0 → 8.18.0	2023-10-25 07:56:54 +02:00
Vincent Laporte	99d78d2fb7	coqPackages.math-classes: 8.17.0 → 8.18.0	2023-10-25 07:56:54 +02:00
Arthur Azevedo de Amorim	f4ec563c1d	coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038) ... Co-authored-by: Théo Zimmermann <theo.zimmermann@telecom-paris.fr>	2023-10-17 16:24:58 +02:00
Théo Zimmermann	4437483938	Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloat ... coqPackages.vcfloat: init at 2.1.1	2023-10-17 15:02:09 +02:00
Léo Stefanesco	8de5195ec4	coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1	2023-10-13 13:15:46 +02:00
Quinn Dougherty	c7634cf59a	coqPackages.vcfloat: init at 2.1.1	2023-09-29 23:57:07 +02:00
Vincent Laporte	df33946f5e	coqPackages.serapi: fix build with Coq 8.16	2023-09-26 14:10:44 +02:00
Vincent Laporte	7c33c8d452	coqPackages.itauto: enable for Coq 8.18	2023-09-21 11:02:55 +02:00
Vincent Laporte	0de60535c9	coqPackages.flocq: 4.1.1 → 4.1.3	2023-09-21 11:02:55 +02:00
Weijia Wang	85fd874639	compcert: add aarch64 support	2023-09-19 13:30:30 +02:00
Ali Caglayan	6b614db040	coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18 ... Signed-off-by: Ali Caglayan <alizter@gmail.com>	2023-09-15 16:17:16 +02:00
Ali Caglayan	9d696c09f9	coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18 ... Signed-off-by: Ali Caglayan <alizter@gmail.com>	2023-09-15 16:17:16 +02:00
Pierre Roux	ae24e3e528	Add a few packages for Coq 8.18 and MathComp 2.0	2023-09-04 10:02:59 +02:00
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +02:00
Pierre Roux	7e87f6c593	topology: 9.0.0 -> 10.2.0	2023-09-04 10:02:59 +02:00
Pierre Roux	946120336e	ocamlPackages.elpi: 1.16.5 → 1.17.0	2023-09-01 10:02:18 +02:00
Dimitrije Radojević	9b4d043ba2	ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)	2023-08-31 07:46:20 +02:00
Vincent Laporte	e8083f3021	coqPackages.coq-elpi: 1.17.0 → 1.18.0	2023-08-29 06:47:28 +02:00
Vincent Laporte	2ae7493cb6	coqPackages.hierarchy-builder: 1.4.0 → 1.5.0	2023-08-28 07:36:16 +02:00
Jan Malakhovski	5852f26bdc	treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases	2023-08-03 16:32:03 +00:00
Vincent Laporte	84821b9769	coqPackages.paco: 4.1.2 → 4.2.0	2023-08-03 04:30:34 +02:00
Steven Keuchel	2796baace8	coqPackages_8_17.iris: init at 4.0.0	2023-08-02 22:17:26 +02:00
Vincent Laporte	5890239093	coqPackages.coquelicot: 3.3.1 → 3.4.0	2023-07-28 08:39:50 +02:00
Vincent Laporte	16d5bc3418	coqPackages.interval: 4.7.0 → 4.8.0	2023-07-28 08:26:05 +02:00
Théo Zimmermann	4a5e022304	coqPackages.trakt: fix documented license	2023-07-27 08:37:02 +02:00
Théo Zimmermann	53ef5765ad	coqPackages.trakt: add recent versions	2023-07-27 08:37:02 +02:00
Vincent Laporte	d54c57e93c	coqPackages.coq-ext-lib: 0.11.7 → 0.11.8	2023-07-27 05:24:26 +02:00
Vincent Laporte	72c7597d20	coqPackages.parsec: 0.1.1 → 0.1.2	2023-07-25 04:36:39 +02:00
Vincent Laporte	335de7152a	coqPackages.ceres: 0.4.0 → 0.4.1	2023-07-25 04:36:39 +02:00
Vincent Laporte	055d78335d	coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17	2023-07-25 03:45:12 +02:00
Léo Stefanesco	00d2abe875	coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7	2023-07-21 13:28:51 +02:00
Vincent Laporte	84637a672b	coqPackages.compcert: enable for Coq 8.17	2023-07-17 07:47:50 +02:00
Vincent Laporte	5c514d49ca	coqPackages.compcert: 3.12 → 3.13	2023-07-17 07:47:50 +02:00
Léo Stefanesco	526df2136c	coqPackages.autosubst: 1.7 -> 1.8	2023-07-13 13:36:20 +02:00
Felix Buehler	bec27fabee	treewide: use lib.optional instead of 'then []'	2023-07-12 09:36:28 +01:00
Vincent Laporte	3a512ee975	coqPackages.ITree: 5.1.0 → 5.1.1	2023-07-11 23:39:52 +02:00
Nick Cao	91d5bd5869	Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4 ... coqPackages.CoLoR: 1.8.3 → 1.8.4	2023-07-04 10:31:40 +08:00
Vincent Laporte	4acdff5e91	coqPackages.interval: 4.6.1 → 4.7.0	2023-07-03 10:15:56 +02:00
Vincent Laporte	097299ac4f	coqPackages.CoLoR: 1.8.3 → 1.8.4	2023-07-03 07:46:25 +02:00
Felix Buehler	6672dde558	treewide: use optionalAttrs instead of 'else {}'	2023-06-25 11:01:34 -03:00