Marco Maggesi 04d74baeb0 * Update dmtcp to version 1.2.0. ... * Remove patch 'dont_check_uid' that was introduced to allow building hol_light binaries under root, but we will avoid it in the future). svn path=/nixpkgs/trunk/; revision=26062		2011-02-22 19:00:45 +00:00
..
default.nix	* Update dmtcp to version 1.2.0.	2011-02-22 19:00:45 +00:00