The following packages were found for maintainer: yozo+AT+v007.vaio.ne.jp
lha archive files using LZW compression (.lzh files)
coq proof assistant based on a typed lambda calculus
xvkbd virtual keyboard for X Window System