pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

checklocales.pyo dirac_decoder disktype jcf-dump kbuildsycoca virt-format drawpix-z vapigen-0.10 xfsmdiag arm-none-eabi-strings mips64el-linux-gnuabi64-readelf cantata djscript elogd flashcache_destroy hspace gfan_latticeideal mmpfb directfb-config masterha_check_ssh read_dicom jrunscript outguess-histogram MarketModels regina-python scaladoc sleepctl sup-config uwsgi_emperor_pg grind

© loginroot.com, 2016