forked from mirrors/nixpkgs
04d74baeb0
* 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 |
||
---|---|---|
.. | ||
default.nix |