| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
@vcunat: correct location of patched files, use license attribute,
remove file with the older version.
|
| |
|
|
|
|
|
|
| |
* 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
|
| |
|
|
|
|
|
|
|
|
| |
different uid.
(This is required in order to generate hol_light_binaries).
Also do a bit of cleanup.
svn path=/nixpkgs/trunk/; revision=23684
|
| |
|
|
| |
svn path=/nixpkgs/trunk/; revision=22937
|
| |
|
|
| |
svn path=/nixpkgs/trunk/; revision=22933
|
| |
|
|
| |
svn path=/nixpkgs/trunk/; revision=20195
|
| |
|
|
| |
svn path=/nixpkgs/trunk/; revision=20116
|
| |
|
|
| |
svn path=/nixpkgs/trunk/; revision=19972
|
|
|
svn path=/nixpkgs/trunk/; revision=19819
|