Binary: coqwc

nm openrisc-linux-gnu-readelf euare-accountgetsummary grib_debug kubrick openpgp2pem ncftpget gp-2.3 pcl_lum check-regexp ykval-queue blend-update-menus daa2iso gfan_mixedvolume runghc gsmc perl-nocem opj_compress lpsconfcheck poweroff origami pcl_openni_boundary_estimation clean_raxml_parsimony_tree.py scsiformat run.x86-linux.a splitpatch tslminfo detex lily-glyph-commands wavmerge