diff --git a/pkgs/development/coq-modules/unimath/default.nix b/pkgs/development/coq-modules/unimath/default.nix
deleted file mode 100644
index 8bd6cf5a84d..00000000000
--- a/pkgs/development/coq-modules/unimath/default.nix
+++ /dev/null
@@ -1,26 +0,0 @@
-{stdenv, fetchgit, coq}:
-
-stdenv.mkDerivation rec {
-
-  name = "coq-unimath-${coq.coq-version}-${version}";
-  version = "a2714eca";
-
-  src = fetchgit {
-    url = git://github.com/UniMath/UniMath.git;
-    rev = "a2714eca29444a595cd280ea961ec33d17712009";
-    sha256 = "0v7dlyipr6bhwgp9v366nxdan018acafh13pachnjkgzzpsjnr7g";
-  };
-
-  buildInputs = [ coq.ocaml coq.camlp5 ];
-  propagatedBuildInputs = [ coq ];
-
-  installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
-
-  meta = with stdenv.lib; {
-    homepage = https://github.com/UniMath/UniMath;
-    description = "A formalization of a substantial body of mathematics using the univalent point of view";
-    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 b828238e39f..fec5e3a3347 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -18806,7 +18806,6 @@ with pkgs;
       in
         recurseIntoAttrs contribs;
 
-    unimath = callPackage ../development/coq-modules/unimath {};
     ynot = callPackage ../development/coq-modules/ynot {};
   };