diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2011-08-21 08:41:22 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-08-21 08:41:22 +0000 |
| commit | a9d2f3430102c6546f166dbd5a9199e9e6165f60 (patch) | |
| tree | 7c6ed4fc5b20a6142cbf41b7ae3b42dd66b5d5bd /pkgs/applications/misc/evince | |
| parent | 0b99612c180b1f92eb4dcc859571a65e11d03326 (diff) | |
| download | nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.gz nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.bz2 nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.lz nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.xz nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.zst nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.zip | |
Update HOL Light to release 102
svn path=/nixpkgs/trunk/; revision=28718
Diffstat (limited to 'pkgs/applications/misc/evince')
0 files changed, 0 insertions, 0 deletions