diff options
author | Cyril Cohen <cohen@crans.org> | 2021-05-10 15:30:05 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-05-10 15:59:48 +0200 |
commit | 0aa521e3a00e6954f6b66ad1ace829691efd5164 (patch) | |
tree | bfcf8b9edf9f0d3b2362374c232c9928b5847f85 /pkgs/development/coq-modules | |
parent | 8e34a2f35bf17718fc548498a96a527d47a2ef95 (diff) | |
download | nixlib-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar nixlib-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.gz nixlib-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.bz2 nixlib-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.lz nixlib-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.xz nixlib-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.zst nixlib-0aa521e3a00e6954f6b66ad1ace829691efd5164.zip |
coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp-zify/default.nix | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-zify/default.nix b/pkgs/development/coq-modules/mathcomp-zify/default.nix new file mode 100644 index 000000000000..65af999d08f2 --- /dev/null +++ b/pkgs/development/coq-modules/mathcomp-zify/default.nix @@ -0,0 +1,22 @@ +{ lib, mkCoqDerivation, coq, mathcomp-algebra, version ? null }: + +with lib; mkCoqDerivation rec { + pname = "mathcomp-zify"; + repo = "mczify"; + owner = "math-comp"; + inherit version; + + defaultVersion = with versions; + switch [ coq.coq-version mathcomp-algebra.version ] [ + { cases = [ (isEq "8.13") (isEq "1.12") ]; out = "1.0.0+1.12+8.13"; } + ] null; + + release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k"; + + propagatedBuildInputs = [ mathcomp-algebra ]; + + meta = { + description = "Micromega tactics for Mathematical Components"; + maintainers = with maintainers; [ cohencyril ]; + }; +} |