diff options
author | tonio <tonio@pkgsrc.org> | 2006-01-25 07:16:03 +0000 |
---|---|---|
committer | tonio <tonio@pkgsrc.org> | 2006-01-25 07:16:03 +0000 |
commit | b8e2187d62ad32ba6cccd609d5fab907c121dee8 (patch) | |
tree | 7336d42eaa734712827f5a78e8420514c10028aa /cad/ntesla/PLIST | |
parent | d65b4672f3fc9b77e9aa0af81f03a626316256a1 (diff) | |
download | pkgsrc-b8e2187d62ad32ba6cccd609d5fab907c121dee8.tar.gz |
Note lang/coq-8.0pl3
Diffstat (limited to 'cad/ntesla/PLIST')
0 files changed, 0 insertions, 0 deletions