Binary: coqchk

Debian packages that has this binary:

Package: coq

/usr/bin/coqchk

Random binary cloud:

colmux daily_cleanup.pyc gok g_grompp_d g_velacc safestartkde akonadi_birthdays_resource testregexp.rb selinux-polgengui fixwpps assistant racoon2-iked crtmpserver topformflat ecaccess-file-get.bat eric5_uipreviewer ts-contribute-en r.li.cwed xtractprotos Microsoft.CSharp.targets flash_lock winbond-diag bosserver audio_test qmail-pw2u refdbib robocut atk6-flood_redir6 atk6-fuzz_dhcps6 get_moz_enUS