174 Commits

Author	SHA1	Message	Date
Pierre Roux	197b4434c9	coqPackages.coq: 8.20+rc1 -> 8.20.0	2024-09-04 16:01:47 +02:00
Pierre Roux	8ffc337b21	coqPackages.rewriter: init at 0.0.11	2024-08-28 14:39:54 +02:00
Pierre Roux	11985737dc	coqPackages.waterproof: init at 2.1.1+8.18	2024-08-27 16:00:55 +02:00
Pierre Roux	1a638589b3	coqPackages.bbv: init at 1.5	2024-08-27 11:47:40 +02:00
Pierre Roux	d5fd8a7c67	coqPackages.http: init at 0.2.1	2024-08-26 12:02:42 +02:00
Pierre Roux	67aab88f9d	coqPackages.async-test: init at 0.1.0	2024-08-26 12:02:42 +02:00
Pierre Roux	03bfa3c1a4	coqPackages.json: init at 0.1.3	2024-08-26 12:02:42 +02:00
Pierre Roux	695b7ae933	coqPackages.itree-io: init at 0.1.1	2024-08-26 12:02:42 +02:00
Pierre Roux	43aaea3618	coqPackages.atbr: init at 8.20.0	2024-08-22 10:36:04 +02:00
damhiya	5a3fe0fa46	coqPackages.MenhirLib: init at 20240715	2024-08-20 14:58:36 +02:00
Pierre Roux	9134617536	coqPackages.coinduction: init at 1.9	2024-08-07 15:44:13 +02:00
Pierre Roux	a69fe54c49	coqPackages.stalmarck: init at 8.20.0	2024-08-07 12:15:20 +02:00
Vincent Laporte	ee96b8a3cf	Merge pull request #329695 from definfo/coq-high-school-geometry-8.16 ... coqPackages.high-school-geometry: init at 8.16	2024-07-31 09:52:37 +02:00
Martin Weinelt	852453aae1	coqPackages: restor recurseIntoAttrs ... Fixes: 0213840 ("pythonPackages: move __attrsFailEvaluation to allo...")	2024-07-26 18:01:21 +02:00
definfo	b1d0e56bc4	coqPackages.high-school-geometry: init at 8.16	2024-07-24 23:57:23 +08:00
Philip Taron	4640ede492	coqPackages: allow one level of introspection before applying __attrsFailEvaluation	2024-07-04 14:02:42 -07:00
Pierre Roux	971ef0c694	coq_8_20: init at 8.20+rc1 (#323105)	2024-06-28 15:47:38 +02:00
Vincent Laporte	90e35645fc	coqPackages.coq-hammer: init at 1.3.2	2024-06-27 07:09:32 +02:00
Vincent Laporte	b8a048b959	coqPackages.coq-hammer-tactics: init at 1.3.2	2024-06-27 07:09:32 +02:00
Vincent Laporte	9c479cf090	compcert: 3.13.1 → 3.14 (#308752)	2024-05-03 14:47:10 +00:00
Sebastian Ertel	ea51404f4e	coqPackages.ssprove: init at 0.2.0 (#306981)	2024-05-03 11:32:09 +02:00
Vincent Laporte	0a379ae698	coq: default to version 8.19	2024-04-29 20:45:04 +02:00
Vincent Laporte	e976fa8f49	coqPackages.vcfloat: enable for Coq 8.18 & 8.19	2024-04-02 22:41:01 +02:00
Vincent Laporte	cffe0a32af	coqPackages.interval: 4.9.0 → 4.10.0	2024-04-02 22:41:01 +02:00
Vincent Laporte	453b69da7a	coqPackages.VplTactic: init at 0.5	2024-03-15 10:24:58 +01:00
Vincent Laporte	4027ca26b9	coqPackages.Vpl: init at 0.5	2024-03-15 10:24:58 +01:00
Cyril Cohen	4116f0379e	coqPackages.vscoq-language-server: init at 2.0.3 (#256515)	2024-02-01 10:10:43 +01:00
Vincent Laporte	7ff0562792	coqPackages.compcert: use OCaml 4.14	2024-01-22 08:36:01 +01:00
Pierre Roux	d77d8f69f7	coq_8_19: init at 8.19+rc1	2023-12-19 14:41:20 +01:00
Adam Joseph	80472e3754	treewide: add __attrsFailEvaluation and __recurseIntoDerivationForReleaseJobs	2023-12-15 05:13:46 -08:00
Vincent Laporte	2ec2d68238	coqPackages.VST: 2.12 → 2.13 ... coqPackages.compcert: 3.13 → 3.13.1	2023-11-27 03:57:47 +01:00
ineol	6a63b4a97a	coqPackages.iris-named-props: new expression (#263100)	2023-11-10 08:37:23 +01:00
Vincent Laporte	42bea51aa7	coqPackages.VST: 2.11.1 → 2.12	2023-11-01 07:07:41 +01:00
Quinn Dougherty	c7634cf59a	coqPackages.vcfloat: init at 2.1.1	2023-09-29 23:57:07 +02:00
Vincent Laporte	2abfae9e9b	coq: 8.17.1 -> 8.18.0	2023-09-21 11:02:55 +02:00
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +02:00
Vincent Laporte	84821b9769	coqPackages.paco: 4.1.2 → 4.2.0	2023-08-03 04:30:34 +02:00
Vincent Laporte	055d78335d	coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17	2023-07-25 03:45:12 +02:00
affeldt-aist	8a92dd9a9a	mathcomp-infotheo: init at 0.5.1 (#231077)	2023-05-11 23:09:28 +02:00
Vincent Laporte	e11ba0e7e1	coq: default to version 8.17	2023-04-13 14:23:20 +02:00
Pierre Roux	2fb1078369	Put mathcomp packages in alphabetical order	2023-03-30 13:55:40 +02:00
Pierre Roux	25c631cc0e	Add coqPackages.mathcomp-apery	2023-03-30 13:55:40 +02:00
Théo Zimmermann	f89354c12f	coqPackages_8_13.VST: fix by using compatible version of ITree ... Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>	2023-03-30 10:37:16 +02:00
Vincent Laporte	82d2212d29	compcert: 3.11 → 3.12	2023-03-01 09:45:31 +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
Pierre Roux	cc1d830b2a	coq_8_17: init at 8.17+rc1 (#209145)	2023-01-06 15:51:50 +01:00
Cyril Cohen	e31777a12c	coqPackages.mathcomp-algebra-tactics: init at 1.0.0	2022-11-24 20:41:35 +01:00
Vincent Laporte	1101dfae20	coq: default to version 8.16	2022-10-12 20:38:44 +02:00
Vincent Laporte	661ee3a269	coq_8_16: use OCaml 4.14	2022-10-12 20:38:44 +02:00
Pierre Roux	4610844682	Split coqPackages.mathcomp-analysis ... In preparation of https://github.com/math-comp/analysis/pull/600	2022-09-26 09:46:37 +02:00