diff --git a/pkgs/tools/misc/mcrl/default.nix b/pkgs/tools/misc/mcrl/default.nix
deleted file mode 100644
index bf5043e8b63..00000000000
--- a/pkgs/tools/misc/mcrl/default.nix
+++ /dev/null
@@ -1,14 +0,0 @@
-{stdenv, fetchurl, coreutils}:
-
-stdenv.mkDerivation {
-  name = "mcrl-2.18.4";
-  src = fetchurl {
-    url = http://homepages.cwi.nl/~mcrl/mcrl-2.18.4.tar.gz ;
-    sha256 = "0gld7x3cv3y0vwjr1snz24xzr818sj1l2dfn8qhirfyhc7dnnqfw";
-  };
-
-  RMPROG = "${coreutils}/bin/rm -f";
-}
-
-
-
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 13a794628fa..693341380fb 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -884,8 +884,6 @@ in
 
   mathics = pythonPackages.mathics;
 
-  mcrl = callPackage ../tools/misc/mcrl { };
-
   meson = callPackage ../development/tools/build-managers/meson { };
 
   mp3fs = callPackage ../tools/filesystems/mp3fs { };