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
|
113bbeb1eb
|
fourcolor: 1.3.0 -> 1.3.1
|
2023-10-31 08:17:03 +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 |
|
Shawn8901
|
4dcb03a5c3
|
treewide: remove global with lib; statements in pkgs/coq-modules
|
2023-01-21 23:19:48 +01:00 |
|
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 |
|