From d7b4e11220dcda8fa3fd8443970fb30e1983e71c Mon Sep 17 00:00:00 2001
From: Rob Vermaas <rob.vermaas@gmail.com>
Date: Fri, 5 Jun 2009 13:32:39 +0000
Subject: [PATCH]  * added mCRL

svn path=/nixpkgs/trunk/; revision=15869
---
 pkgs/tools/misc/mcrl/default.nix | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 pkgs/tools/misc/mcrl/default.nix

diff --git a/pkgs/tools/misc/mcrl/default.nix b/pkgs/tools/misc/mcrl/default.nix
new file mode 100644
index 00000000000..bf5043e8b63
--- /dev/null
+++ b/pkgs/tools/misc/mcrl/default.nix
@@ -0,0 +1,14 @@
+{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";
+}
+
+
+