JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

* added mCRL

Browse Source 
svn path=/nixpkgs/trunk/; revision=15869
This commit is contained in:
Rob Vermaas 2009-06-05 13:32:39 +00:00
parent 9f7731c3d6
commit d7b4e11220
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/tools/misc/mcrl/default.nix Normal file
View File

@ -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";
}