Vincent Laporte
|
10f159ffd1
|
coqPackages.mathcomp: disable for Coq ≥ 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Pierre Roux
|
2768c9d4cb
|
Adapt to Coq 8.15 and MathCOmp 1.14
|
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 |
|
Vincent Laporte
|
44745d496c
|
coqPackages.extructures: init at 0.3.0
|
2021-10-21 10:03:03 +02:00 |
|