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