105 Commits

Author	SHA1	Message	Date
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
Vincent Laporte	48f0d8b3c8	coq_8_11: 8.11.1 → 8.11.2	2020-05-20 19:21:42 +02:00
Cyril Cohen	8d05e53561	Coq: refactoring of mathcomp packages (#86088) ... - fixed bignum version - fixed coq-bits version - fixed coqprime version - fixed mathcomp and mathcomp extra packages (reworked building scheme and removed unused ssreflect directory) - giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it.	2020-05-09 07:47:47 +02:00
Vincent Laporte	d6a8d0ca5b	coq_8_11: 8.11.0 → 8.11.1	2020-04-05 15:32:32 +02:00
Cyril Cohen	cf210c082d	coqPackages.hierarchy-builder: init at 0.9.0	2020-03-11 17:15:52 +01:00
Vincent Laporte	229dc013b3	coqPackages.mathcomp_1_10: init at 1.10.0	2020-02-24 15:18:07 +01:00
Vincent Laporte	13dd5844fd	coqPackages_8_11.coq: 8.11+β1 → 8.11.0	2020-01-31 14:09:51 +01:00