coqPackages_8_4.mathcomp: remove

7 years ago · 5b7e3de309
parent 00a6d849f8
commit 5b7e3de309
2 changed files with 0 additions and 7 deletions
--- a/pkgs/development/coq-modules/mathcomp/default.nix
+++ b/pkgs/development/coq-modules/mathcomp/default.nix
@ -2,12 +2,6 @@

 let param =
  {
-    "8.4" =  {
-      version = "1.6.1";
-      url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;
-      sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";
-    };
-
    "8.5" =  {
      version = "1.6.1";
      url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@ -18806,7 +18806,6 @@ with pkgs;
      in
        recurseIntoAttrs contribs;

-    mathcomp = callPackage ../development/coq-modules/mathcomp {};
    paco = callPackage ../development/coq-modules/paco {};
    QuickChick = callPackage ../development/coq-modules/QuickChick {};
    ssreflect = callPackage ../development/coq-modules/ssreflect {};