Binary: coqc

stg-koji g_rotacf hp-check wordforms mkhtmlindex mpitests-osu_acc_latency tset par2 planet rarian-sk-get-extended-content-list R cfdisk lzcmp mkfiledic check_postgres_query_runtime debsigs-installer devede git-line-summary startGroovy cfdptest rtaudio-config pandoc-citeproc pmwebd pecomato postnews gdal_edit.py pelican-quickstart httparty admin.pl storeBackupCheckBackup