mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-20 20:53:19 +02:00
51d6c8df91
* Fix HOL Light derivation svn path=/nixpkgs/trunk/; revision=25269 |
||
---|---|---|
.. | ||
camlp5 | ||
findlib | ||
omake |