diff options
author | Cyril Cohen <cohen@crans.org> | 2019-04-09 19:21:57 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-05-15 14:11:21 +0000 |
commit | b71c308591e1bfc3708c31dc1a94fcae636b5557 (patch) | |
tree | 64383399a44c1ffb465a91c6d46c9407cbfaa422 /pkgs/development/coq-modules/multinomials | |
parent | 4ec7a6eda993986a2e0e00c999e92e290e9dccac (diff) | |
download | nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.gz nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.bz2 nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.lz nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.xz nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.zst nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.zip |
coqPackages: refactor mathcomp packages
Closes #61456
Diffstat (limited to 'pkgs/development/coq-modules/multinomials')
-rw-r--r-- | pkgs/development/coq-modules/multinomials/default.nix | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/pkgs/development/coq-modules/multinomials/default.nix b/pkgs/development/coq-modules/multinomials/default.nix deleted file mode 100644 index aa22c96256f5..000000000000 --- a/pkgs/development/coq-modules/multinomials/default.nix +++ /dev/null @@ -1,28 +0,0 @@ -{ stdenv, fetchFromGitHub, coq, mathcomp }: - -stdenv.mkDerivation rec { - name = "coq${coq.coq-version}-multinomials-${version}"; - version = "1.0"; - src = fetchFromGitHub { - owner = "math-comp"; - repo = "multinomials"; - rev = version; - sha256 = "1qmbxp1h81cy3imh627pznmng0kvv37k4hrwi2faa101s6bcx55m"; - }; - - buildInputs = [ coq ]; - propagatedBuildInputs = [ mathcomp ]; - - installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; - - meta = { - description = "A Coq/SSReflect Library for Monoidal Rings and Multinomials"; - inherit (src.meta) homepage; - license = stdenv.lib.licenses.cecill-b; - inherit (coq.meta) platforms; - }; - - passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ]; - }; -} |