Rob Vermaas 935d9f3610 * libX11 dep MCRL2 ... svn path=/nixpkgs/trunk/; revision=15885		2009-06-07 16:17:49 +00:00
..
default.nix	* libX11 dep MCRL2	2009-06-07 16:17:49 +00:00