pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

microblaze-linux-gnu-ar globus-gass-cache-destroy globus-url-copy r.slope.aspect include-what-you-use egroupwarewizard par2 pilot-debugsh Xnest create_bmp_for_stripline_coupler cucumber dh_shlibdeps debian-edu-update-netblock dt-createdb eiciel gom inews kritagemini ltsinfo med-imaging mhddfs mia-3ddistance oggDump memory_compare psurface-convert instant-showcache tcp-env sra-stat.2 bin2fex wildmidi

© loginroot.com, 2016