Binary: coqide

apachetop cherokee-config cryptest mgd77manage g_rotacf htfuzzy lnstat event_rpcgen.py pvdisplay faxq mpitests-osu_barrier doctrine-dbal wvHtml yacc.py ns-accountstatus calife atsa smmapd freefoam-electrostatic gmail-notify kswitch.heimdal dprofiles lamclean openfetion refdb_latex2utf8txt sndfile-generate-chirp rsyncd-stop uhd_cal_rx_iq_balance vbri wavtool-pl