111 Commits

Author	SHA1	Message	Date
Vincent Laporte	6d5e3764dd	coqPackages.VST: 2.8 → 2.9	2022-02-16 08:03:02 +01:00
Vincent Laporte	e99619604d	coqPackages.mathcomp-word: init at 1.0	2021-12-24 11:59:00 +01:00
Vincent Laporte	a160defe64	coq_8_15: init at 8.15+rc1	2021-12-09 15:46:06 +01:00
Vincent Laporte	48406e3fca	coq_8_14: 8.14.0 → 8.14.1 ... And build Coq ≥ 8.14 with OCaml 4.12	2021-12-01 13:46:15 +01:00
Vincent Laporte	5b861824b3	compcert: 3.9 → 3.10 ... Enable for Coq 8.14 Use default version of OCaml (instead of 4.05) VST is not ready for CompCert 3.10, so it still uses 3.9	2021-11-29 08:45:34 +01:00
Léo Stefanesco	7c52900af1	coqPackages.coq-record-update: init	2021-11-25 17:20:16 +00:00
Ben Siraphob	c513f1ed91	coqPackages.smpl: init	2021-11-12 22:22:35 -06:00
Cyril Cohen	c5c34f6be1	coqPackages.mathcomp: 1.12.0 -> 1.13.0	2021-10-29 21:05:07 +02:00
Vincent Laporte	44745d496c	coqPackages.extructures: init at 0.3.0	2021-10-21 10:03:03 +02:00
Vincent Laporte	78085b01ef	coqPackages.deriving: init at 0.1.0	2021-10-21 10:03:03 +02:00
Théo Zimmermann	8797af5eb7	coqPackages.gaia-hydras: init at 0.5	2021-10-18 11:42:52 +02:00
Théo Zimmermann	3437b543fd	coq_8_14: init at 8.14+rc1	2021-10-13 10:44:09 +02:00
Théo Zimmermann	ddbbf5d80b	coqPackages.parsec: init at 0.1.0	2021-09-15 14:23:46 +02:00
Théo Zimmermann	28bf99d3cf	coqPackages.ceres: init at 0.4.0	2021-09-15 14:23:46 +02:00
Théo Zimmermann	0c7e82e299	coqPackages.serapi: init at multiple versions	2021-08-17 16:45:04 +02:00
Théo Zimmermann	58c1ab9158	coqPackages.addition-chains: init at 0.4	2021-08-17 14:44:10 +02:00
Théo Zimmermann	98e2339545	coqPackages.gaia: init at 1.11 and 1.12	2021-08-17 14:44:10 +02:00
Ben Siraphob	2f3c29cc68	coqPackages.graph-theory: init at 0.9	2021-07-29 09:33:21 +02:00
Ben Siraphob	9fd32c9121	coqPackages.itauto: init at 8.13+no	2021-07-01 21:46:19 +07:00
Ben Siraphob	be76644735	coqPackages.semantics: init	2021-06-29 11:04:42 +02:00
Théo Zimmermann	2bbf6c8687	Move CompCert into coqPackages. (#126214) ... * compcert: preparation to move in coqPackages * compcert: move into coqPackages * compcert: remove version 3.7 As a consequence, also remove VST version 2.6 These were broken.	2021-06-14 14:21:41 +02:00
Ben Siraphob	f637d1b632	coqPackages.reglang: init at 1.1.2	2021-06-08 16:48:28 +02:00
Vincent Laporte	25964547fb	compcert: 3.8 → 3.9	2021-06-04 21:43:08 +02:00
Ben Siraphob	fb4061c6f1	coqPackages.topology: init	2021-06-01 12:38:18 +02:00
Ben Siraphob	25edb8c2ca	coqPackages.zorns-lemma: init	2021-06-01 12:38:18 +02:00
Ben Siraphob	8ff27c0c09	coqPackages.relation-algebra: init	2021-05-17 10:17:18 +02:00
Ben Siraphob	915abd3f08	coqPackages.aac-tactics: init	2021-05-17 10:17:18 +02:00
Vincent Laporte	5f00e14842	coq: default to version 8.13	2021-05-10 18:57:58 +02:00
Cyril Cohen	0aa521e3a0	coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13	2021-05-10 15:59:48 +02:00
Ben Siraphob	7209ede743	coqPackages.goedel: init at 8.12.0	2021-05-10 09:08:55 +02:00
Ben Siraphob	ddc71c80de	coqPackages.pocklington: init at 8.12.0	2021-05-10 09:08:55 +02:00
Ben Siraphob	e7d5862f4e	coqPackages.hydra-battles: init at 0.3	2021-05-10 09:08:55 +02:00
Vincent Laporte	4fb15bc739	coqPackages.VST: 2.6 → 2.7.1	2021-05-07 08:35:13 +02:00
Ben Siraphob	4ec2272826	top-level/coq-packages: remove dontDistribute ... In the GitHub discussion of 527bad18d0, it was decided to allow Hydra to build coqPackages.	2021-05-03 09:10:37 +07:00
Lars Rasmusson	7e73508a5f	ITree: init at 4.0.0	2021-04-14 13:45:56 +02:00
Ben Siraphob	970b82e7d0	coqtail-math: init at 20201124	2021-04-09 10:05:32 +02:00
Ben Siraphob	80d5498aa2	coqPackages.odd-order: init at 1.12.0	2021-03-31 08:31:08 +02:00
Ben Siraphob	2341ffeeaa	coqPackages.fourcolor: init at 1.2.3	2021-03-26 10:55:48 +01:00
Cyril Cohen	f06be1bcf9	coqPackages.mathcomp-abel: init at 1.0.0	2021-01-14 19:51:30 +01:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Vincent Laporte	c5556b7454	coq_8_12: 8.12.1 → 8.12.2	2020-12-16 07:45:54 +01:00
Vincent Laporte	de8205f8bb	coq_8_13: init at 8.13+β1	2020-12-15 21:13:40 +01:00
Vincent Laporte	a35e7daa2b	compcert: 3.7 → 3.8	2020-12-09 08:28:04 +01:00
Vincent Laporte	2806eb2743	coq_8_12: 8.12.0 → 8.12.1	2020-11-15 12:03:15 +01:00
Vincent Laporte	d5f1dce6c8	coqPackages.VST: init at 2.6	2020-10-05 16:39:26 +02:00
Vincent Laporte	c8137fc229	coq: default to version 8.11	2020-08-23 08:19:21 +02:00
Vincent Laporte	b8dfca143c	coq_8_12: 8.12+β1 → 8.12.0 ... coqPackages.equations: 1.2.2 → 1.2.3	2020-08-08 06:33:08 +02:00
Vincent Laporte	d1a7237eee	coqPackages.coq-extensible-records: remove at 1.2.0	2020-07-10 11:26:41 +02:00
Vincent Laporte	a8bb61222f	coq_8_12: init at 8.12+β1	2020-06-19 12:28:42 +02:00
Vincent Laporte	8fb991c7c4	coq: use OCaml 4.09	2020-05-27 10:12:22 +02:00