2 commits

Author	SHA1	Message	Date
Rob Vermaas	935d9f3610	* libX11 dep MCRL2 ... svn path=/nixpkgs/trunk/; revision=15885	2009-06-07 16:17:49 +00:00
Rob Vermaas	d009f7f996	* added mCRL2 ... svn path=/nixpkgs/trunk/; revision=15870	2009-06-05 13:33:41 +00:00