diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2011-04-21 14:39:29 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-04-21 14:39:29 +0000 |
commit | a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d (patch) | |
tree | 6b9564d901d99817cc117e18d2f0befb5cca5a39 /pkgs/applications/audio/xsynth-dssi | |
parent | 3db6f637110d17a91af1a3bc257adb4de40abe5b (diff) | |
download | nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.gz nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.bz2 nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.lz nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.xz nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.zst nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.zip |
Update HOL Light to r89
svn path=/nixpkgs/trunk/; revision=26916
Diffstat (limited to 'pkgs/applications/audio/xsynth-dssi')
0 files changed, 0 insertions, 0 deletions