diff options
author | Rob Vermaas <rob.vermaas@gmail.com> | 2009-06-05 13:32:39 +0000 |
---|---|---|
committer | Rob Vermaas <rob.vermaas@gmail.com> | 2009-06-05 13:32:39 +0000 |
commit | d7b4e11220dcda8fa3fd8443970fb30e1983e71c (patch) | |
tree | 4610b270899be611b85f61fabb3aee5549b1ce5d /pkgs/tools | |
parent | 9f7731c3d647a0fcf731c7437515973ea7b51365 (diff) | |
download | nixpkgs-d7b4e11220dcda8fa3fd8443970fb30e1983e71c.tar nixpkgs-d7b4e11220dcda8fa3fd8443970fb30e1983e71c.tar.gz nixpkgs-d7b4e11220dcda8fa3fd8443970fb30e1983e71c.tar.bz2 nixpkgs-d7b4e11220dcda8fa3fd8443970fb30e1983e71c.tar.lz nixpkgs-d7b4e11220dcda8fa3fd8443970fb30e1983e71c.tar.xz nixpkgs-d7b4e11220dcda8fa3fd8443970fb30e1983e71c.tar.zst nixpkgs-d7b4e11220dcda8fa3fd8443970fb30e1983e71c.zip |
* added mCRL
svn path=/nixpkgs/trunk/; revision=15869
Diffstat (limited to 'pkgs/tools')
-rw-r--r-- | pkgs/tools/misc/mcrl/default.nix | 14 |
1 files changed, 14 insertions, 0 deletions
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"; +} + + + |