Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

librados-config mlmmj-make-ml pgmcrater lrelease ratpoison pppoe-status a2dissite cdfcensus btcflash fd2pascal-2.6.4 gallery-uploader gnoemoe make_ndx_d gst-play-1.0 gworldclock kedpm last-split buildPortalWSDL mate-appearance-properties minitube mcp nova-dhcpbridge kas tweet rebar kramdown vpe ExecutePipeline SpectraFilterScaler vbrename