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 |
|
|
Pierre Roux
|
cc1d830b2a
|
coq_8_17: init at 8.17+rc1 (#209145)
|
2023-01-06 15:51:50 +01:00 |
|
Enrico Tassi
|
e50697278b
|
mathcomp: 1.14.0 -> 1.15.0
|
2022-08-31 19:00:56 +02:00 |
|
|
Vincent Laporte
|
f5ca72dcf3
|
coqPackages.mathcomp-bigenough: 1.0.0 → 1.0.1
|
2021-12-08 13:37:58 +01: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
|
4a21043578
|
coqPackages.mathcomp-analysis: enable for Coq 8.9
|
2019-02-18 08:54:11 +01:00 |
|
|
Vincent Laporte
|
590e07779c
|
coqPackages.mathcomp-bigenough: init at 1.0.0
|
2019-02-09 12:33:02 +01:00 |
|