Binary: coqweb

Debian packages that has this binary:

Package: wims

/var/lib/wims/public_html/bin/coqweb

Random binary cloud:

bat_drain fcoeadm d.ask fsadm x86_64-w64-mingw32-readelf mpitests-osu_scatterv rdfdump sfcapd kidc admin_options.py tm_matlab funzip ace_gperf fsck.fat drumstick-dumpmid arabic.txt gimagereader cgps r3.in.v5d icinga2 ikisite-wrapper localc oarcp pvmgroups asterisk-dump xenserver.rb slirp spd abi-dump.2.3.5 texluac