Binary: coqwc

Debian packages that has this binary:

Package: coq

/usr/bin/coqwc

Random binary cloud:

dzen2 g_analyze_d g_vanhove intel_dpio_write mail-touchlock pamtoxvmini netplugd odt2txt dprofpp prwd scout.ser update-smart-drivedb btdownloadgui.bittorrent tap-ctl charybdis-convertklines check_postgres_commitratio global jeuclid-mathviewer reviewboard-am hf77 rw-by-pid-report ext2sim getrich qmail-tcpok gracket-text science-statistics gsplash wav2swf tetraproc xen-bugtool