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 {};