diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix deleted file mode 100644 index b6d3fe2e34f..00000000000 --- a/pkgs/development/coq-modules/coqeal/default.nix +++ /dev/null @@ -1,33 +0,0 @@ -{ stdenv, fetchgit, coq, mathcomp }: - -stdenv.mkDerivation rec { - - name = "coq-coqeal-${coq.coq-version}-${version}"; - version = "7522037d"; - - src = fetchgit { - url = git://github.com/CoqEAL/CoqEAL.git; - rev = "7522037d5e01e651e705d782f4f91fc68c46866e"; - sha256 = "0kbnsrycd0hjni311i8xc5xinn4ia8rnqi328sdfqzvvyky37fgj"; - }; - - propagatedBuildInputs = [ mathcomp ]; - - preConfigure = '' - cd theory - patch ./Make < -R . CoqEAL - EOF - ''; - - installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; - - meta = with stdenv.lib; { - homepage = http://www.maximedenes.fr/content/coqeal-coq-effective-algebra-library; - description = "A Coq library for effective algebra, by which is meant formally verified computer algebra algorithms that can be run inside Coq on concrete inputs"; - maintainers = with maintainers; [ jwiegley ]; - platforms = coq.meta.platforms; - }; - -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7bf004cdc6c..ef042219817 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18806,7 +18806,6 @@ with pkgs; in recurseIntoAttrs contribs; - coqeal = callPackage ../development/coq-modules/coqeal {}; coquelicot = callPackage ../development/coq-modules/coquelicot {}; domains = callPackage ../development/coq-modules/domains {}; fiat = callPackage ../development/coq-modules/fiat {};