19 Commits

Author	SHA1	Message	Date
Pierre Roux	383e9b5696	coq-elpi: 2.0.1 -> 2.2.0 (#323590) ... elpi: 1.18.1 -> 1.19.2	2024-07-01 08:04:15 +02:00
Pierre Roux	971ef0c694	coq_8_20: init at 8.20+rc1 (#323105)	2024-06-28 15:47:38 +02:00
Alexis Hildebrandt	755b915a15	treewide: Remove indefinite article from meta.description ... nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'	2024-06-09 23:07:45 +02:00
Pierre Roux	49e703cde2	Add Coqeal 2.0.1 and algebra-tactics 1.2.3	2024-01-19 10:46:00 +01:00
Pierre Roux	e1f1b5bcd2	coqPackages.mathcomp: 1.18.0 -> 1.19.0	2024-01-16 10:34:25 +01:00
Pierre Roux	c2892b3fc9	coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) ... * coqPackages.mathcomp: 1.17.0 -> 1.18.0 * coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6	2023-11-15 13:22:46 +01: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	2959062362	coqPackages: various 8.16 -> 8.17	2023-03-09 13:13:00 +01:00
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Enrico Tassi	e50697278b	mathcomp: 1.14.0 -> 1.15.0	2022-08-31 19:00:56 +02:00
Vincent Laporte	773140e96d	coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2	2022-07-17 08:06:19 +02:00
Cyril Cohen	dffe2434ae	coqPackages.mathcomp: 1.13.0 -> 1.14.0	2022-02-02 08:56:55 +01:00
Cyril Cohen	c5c34f6be1	coqPackages.mathcomp: 1.12.0 -> 1.13.0	2021-10-29 21:05:07 +02:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Cyril Cohen	b71c308591	coqPackages: refactor mathcomp packages ... Closes #61456	2019-05-15 14:11:21 +00:00
Vincent Laporte	f09a13899d	coqPackages.mathcomp: 1.7.0 -> 1.8.0 ... coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0 coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0	2019-04-23 09:35:38 +02:00
Vincent Laporte	4a21043578	coqPackages.mathcomp-analysis: enable for Coq 8.9	2019-02-18 08:54:11 +01:00
Vincent Laporte	bafa15f145	coqPackages.mathcomp-finmap: init at 1.1.0	2019-02-09 12:33:02 +01:00