pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

sedispol libgnutls-extra-config r.li.richness mpirun ext_framebuffer_multisample-turn-on-off ext_transform_feedback-change-size mozprofile generic_count amavisd-milter cdfmltmask cfshow discid indi_eval chkconf mifare-ultralight-info memcflush lighty-disable-mod lldb-platform mate-terminal nitrogen mhshow pure-ftpd-ldap-virtualchroot python-coverage avg_videoplayer sgml2x jc.pl uno.bin main.new tool-stat xbuffy

© loginroot.com, 2016