pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

ia64-linux-gnu-objdump eu-elfcmp euca-cancel-conversion-task gdm-screenshot mobj_dump mysql-zrm-getconf plld collie wwan bximage clang-tblgen-3.4 dh_dpatch_patch add_txrx freefoam-rhoPorousSimple gift-dtd-to-keywords.pl estload ircd-hybrid jocamlmklib checkdirfile mysql-schema-diff tracesummary schubmult lurker-regenerate openchange_newuser otrs.CryptPassword.pl Q77_qrisk2_2013_1_commandLine soundmodemconfig undertaker-tailor vnc4passwd zsyncmake

© loginroot.com, 2016