Binary: acl2

m32r-linux-gnu-ld ceph-rbdnamer sylpheed-claws daemonize dpm-sql-spacetoken-replicate-hotfiles r.colors.out munch infokey mk-duplicate-key-checker al hydra_nameserver hpipower ospent pcl_openni_image PootleServer qrencode simfqt_parseFareRules valgrind wmgenmenu ao-test-flash chuck.alsa kermrc ffindex_build objfgelm.o d.save gst-discoverer-1.0 kayadoc2man pe.pl runPearInstaller zupdate