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 |
|
Cyril Cohen
|
314e64e467
|
coqPackages.hierarchy-builder: etc
|
2021-10-30 05:30:44 +02:00 |
|
|
Cyril Cohen
|
b46055e928
|
coqPackages.coq-elpi: 1.10 -> 1.11
|
2021-10-27 13:19:57 +02:00 |
|
Théo Zimmermann
|
3437b543fd
|
coq_8_14: init at 8.14+rc1
|
2021-10-13 10:44:09 +02:00 |
|
Ben Siraphob
|
7ded69f4c4
|
coqPackages.hierarchy-builder: 1.0.0 -> 1.1.0
|
2021-07-16 22:04:25 +07:00 |
|
|
Cyril Cohen
|
268e43a005
|
elpi: 1.12.0 -> 1.13.0
|
2021-02-18 22:26:10 +01:00 |
|
|
Cyril Cohen
|
9ffd16b385
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
|
|
Cyril Cohen
|
084d5c0b8c
|
coq-elpi: 1.4.1 -> 1.5.1
|
2020-08-11 13:49:51 +02:00 |
|
Cyril Cohen
|
cc1f954bc4
|
ocamlPackages.elpi: 1.10.2 -> 1.11.0
coqPackages.coq-elpi: 1.3.1 -> 1.4.0
coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
|
2020-06-04 10:25:19 +02:00 |
|
|
Cyril Cohen
|
cf210c082d
|
coqPackages.hierarchy-builder: init at 0.9.0
|
2020-03-11 17:15:52 +01:00 |
|