Binary: acl2

dpm-sql-pfn-to-dpns efax ghc-7.0.4 pslegend gvfs-mount manage_logger glsl-1.30-texel-offset-limits fd_ifc.x smbta-util mksmbpasswd.sh sevmgr-config ivtv-ctl code_saturne ecaccess-certificate-create newcpgreport jpegtoexr Fpattern gmtstitch r.contour hpsockd gennorm2 key-mon mv ldaptor-find-server cdr2raw lscp i13942ts qhelpgenerator mutt-aliases-to-vcf xymonnet