diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2012-03-20 19:11:22 +0000 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2012-03-20 19:11:22 +0000 |
| commit | f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84 (patch) | |
| tree | f84f3cea56f4297df401b921f19907122979a5a5 /pkgs/desktops | |
| parent | efcc0c9b1effdb1d2d1730635f0555bec9a74b26 (diff) | |
| download | nixlib-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar nixlib-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.gz nixlib-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.bz2 nixlib-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.lz nixlib-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.xz nixlib-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.zst nixlib-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.zip | |
Upgrading HOL4 to version k.7.
svn path=/nixpkgs/trunk/; revision=33306
Diffstat (limited to 'pkgs/desktops')
0 files changed, 0 insertions, 0 deletions