Vincent Laporte
|
a2c917865f
|
coqPackages.mathcomp-word: 1.1 → 2.0
|
2022-10-05 13:38:03 +02:00 |
|
Théo Zimmermann
|
2dc3552aa1
|
coqPackages.mkCoqDerivation: upgrade to Dune 3
And remove the version number from the corresponding attributes.
|
2022-10-02 14:42:28 +02:00 |
|
|
Vincent Laporte
|
2611f23722
|
coqPackages.mathcomp-word: enable for Coq 8.16
|
2022-09-08 18:06:24 +02:00 |
|
|
Vincent Laporte
|
68322e1297
|
coqPackages.mathcomp-word: 1.0 → 1.1
|
2022-04-26 13:11:29 +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 |
|
Cyril Cohen
|
dffe2434ae
|
coqPackages.mathcomp: 1.13.0 -> 1.14.0
|
2022-02-02 08:56:55 +01:00 |
|
|
Vincent Laporte
|
e99619604d
|
coqPackages.mathcomp-word: init at 1.0
|
2021-12-24 11:59:00 +01:00 |
|