Binary: coqc

aqbanking-cli b43-fwcutter bzip2 gnome-doc mm2gv translate glx-make-current xpce windmill mpstat appstream-validate mipsel-linux-gnu-ar sindex bluedevil-monolithic lsdvb gauche-install sw2asc gendarme-wizard glance-control higan-performance iptables-xml osinfo-detect mafft-profile mailagent.archive.pl maildirmake.maildrop pkcs_slot openstack-purge map2jnx volti-mixer xymonclient-osf1.sh