Vincent Laporte
|
f201cf5f78
|
coqPackages.fourcolor: 1.2.4 → 1.2.5
|
2022-07-17 21:04:43 +02:00 |
|
Ulrik Strid
|
7e20e9039e
|
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
|
2022-02-25 07:54:17 +01:00 |
|
Pierre Roux
|
2768c9d4cb
|
Adapt to Coq 8.15 and MathCOmp 1.14
|
2022-02-02 08:56:55 +01:00 |
|
Théo Zimmermann
|
3437b543fd
|
coq_8_14: init at 8.14+rc1
|
2021-10-13 10:44:09 +02:00 |
|
Ben Siraphob
|
2341ffeeaa
|
coqPackages.fourcolor: init at 1.2.3
|
2021-03-26 10:55:48 +01:00 |
|