Rob Vermaas d009f7f996 * added mCRL2 ... svn path=/nixpkgs/trunk/; revision=15870		2009-06-05 13:33:41 +00:00
..
default.nix	* added mCRL2	2009-06-05 13:33:41 +00:00