Binary: coqc

bltk_get_dmidecode diet searchd fence_idrac man5 gpk-install-local-file h5redeploy freeroute.jnlp mtp-folders i686-w64-mingw32-windres stdpods qdbus-qt5 config PyroNoise fillImageDB frown grok i3-with-shmlog ethumbd moc opendkim-atpszone nodecachefilereader pkgkde-git pkdsm2shadow pump rougify sbuild-unhold ssh-import-id-gh uno.bin capitalize