diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-12-02 06:59:44 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2015-01-25 07:35:45 +0100 |
| commit | 833800aeba183ac8279fded97fbd7e0214174ec5 (patch) | |
| tree | d2da44cc6d831b3aba0ffaad8488db540a245ec3 | |
| parent | bbb9c929713e426b48829ef95714b12ee29b9ba5 (diff) | |
| download | nixlib-833800aeba183ac8279fded97fbd7e0214174ec5.tar nixlib-833800aeba183ac8279fded97fbd7e0214174ec5.tar.gz nixlib-833800aeba183ac8279fded97fbd7e0214174ec5.tar.bz2 nixlib-833800aeba183ac8279fded97fbd7e0214174ec5.tar.lz nixlib-833800aeba183ac8279fded97fbd7e0214174ec5.tar.xz nixlib-833800aeba183ac8279fded97fbd7e0214174ec5.tar.zst nixlib-833800aeba183ac8279fded97fbd7e0214174ec5.zip | |
coq-containers: remove
| -rw-r--r-- | pkgs/development/coq-modules/containers/default.nix | 24 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 0 insertions, 26 deletions
diff --git a/pkgs/development/coq-modules/containers/default.nix b/pkgs/development/coq-modules/containers/default.nix deleted file mode 100644 index 5c5681f60107..000000000000 --- a/pkgs/development/coq-modules/containers/default.nix +++ /dev/null @@ -1,24 +0,0 @@ -{stdenv, fetchurl, coq}: - -stdenv.mkDerivation { - - name = "coq-containers-${coq.coq-version}"; - - src = fetchurl { - url = http://coq.inria.fr/pylons/contribs/files/Containers/v8.4/Containers.tar.gz; - sha256 = "0z7yk0g7zkniwc73ka7wwb5jjg5a2wr1krrn3akr7kn5z3gvy2mc"; - }; - - buildInputs = [ coq.ocaml coq.camlp5 ]; - propagatedBuildInputs = [ coq ]; - - installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; - - meta = with stdenv.lib; { - homepage = http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4; - description = "A typeclass-based Coq library of finite sets/maps"; - maintainers = with maintainers; [ vbgl jwiegley ]; - platforms = coq.meta.platforms; - }; - -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index c6b4875d3035..d26473104b6d 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -12538,8 +12538,6 @@ let bedrock = callPackage ../development/coq-modules/bedrock {}; - containers = callPackage ../development/coq-modules/containers {}; - coqExtLib = callPackage ../development/coq-modules/coq-ext-lib {}; coqeal = callPackage ../development/coq-modules/coqeal {}; |