diff options
| author | Rob Vermaas <rob.vermaas@gmail.com> | 2009-06-05 13:33:41 +0000 |
|---|---|---|
| committer | Rob Vermaas <rob.vermaas@gmail.com> | 2009-06-05 13:33:41 +0000 |
| commit | d009f7f9966abb5fbfb330ea825ae63d381256a0 (patch) | |
| tree | 80c0ff8c7578f16528797ccd308eecb8fed9fb72 /pkgs/tools/misc | |
| parent | d7b4e11220dcda8fa3fd8443970fb30e1983e71c (diff) | |
| download | nixlib-d009f7f9966abb5fbfb330ea825ae63d381256a0.tar nixlib-d009f7f9966abb5fbfb330ea825ae63d381256a0.tar.gz nixlib-d009f7f9966abb5fbfb330ea825ae63d381256a0.tar.bz2 nixlib-d009f7f9966abb5fbfb330ea825ae63d381256a0.tar.lz nixlib-d009f7f9966abb5fbfb330ea825ae63d381256a0.tar.xz nixlib-d009f7f9966abb5fbfb330ea825ae63d381256a0.tar.zst nixlib-d009f7f9966abb5fbfb330ea825ae63d381256a0.zip | |
* added mCRL2
svn path=/nixpkgs/trunk/; revision=15870
Diffstat (limited to 'pkgs/tools/misc')
| -rw-r--r-- | pkgs/tools/misc/mcrl2/default.nix | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/pkgs/tools/misc/mcrl2/default.nix b/pkgs/tools/misc/mcrl2/default.nix new file mode 100644 index 000000000000..7ace1ee9429d --- /dev/null +++ b/pkgs/tools/misc/mcrl2/default.nix @@ -0,0 +1,14 @@ +{stdenv, fetchurl, mesa, wxGTK}: + +stdenv.mkDerivation { + name = "mcrl2-200901"; + src = fetchurl { + url = http://www.win.tue.nl/mcrl2/download/release/mcrl2-200901-src.tar.bz2 ; + sha256 = "0lji31d7dv15q8092b8g01j023dd7miq3nw8klgc8jd136xpwdp9"; + }; + + buildInputs = [ mesa wxGTK ] ; +} + + + |