mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-11 15:08:33 +01:00
a280a31f56
(This is required in order to generate hol_light_binaries). Also do a bit of cleanup. svn path=/nixpkgs/trunk/; revision=23684 |
||
---|---|---|
doc | ||
maintainers | ||
pkgs | ||
COPYING | ||
default.nix | ||
STABLE | ||
VERSION |