diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2010-11-03 22:20:05 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2010-11-03 22:20:05 +0000 |
commit | 078587a84611de78159a88847cb4a28286cb197f (patch) | |
tree | 6759e6e76ad5105bdf19c537953e01bd09b2fb54 /pkgs/build-support/buildenv | |
parent | ce39b02f35a68dfbe86a1a04d0dff363d1e00485 (diff) | |
download | nixlib-078587a84611de78159a88847cb4a28286cb197f.tar nixlib-078587a84611de78159a88847cb4a28286cb197f.tar.gz nixlib-078587a84611de78159a88847cb4a28286cb197f.tar.bz2 nixlib-078587a84611de78159a88847cb4a28286cb197f.tar.lz nixlib-078587a84611de78159a88847cb4a28286cb197f.tar.xz nixlib-078587a84611de78159a88847cb4a28286cb197f.tar.zst nixlib-078587a84611de78159a88847cb4a28286cb197f.zip |
Update HOL Light
svn path=/nixpkgs/trunk/; revision=24591
Diffstat (limited to 'pkgs/build-support/buildenv')
0 files changed, 0 insertions, 0 deletions