pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

celtdec zserv s390x-linux-gnu-cpp bdftops gfs-gfork-master rotctld naev pmdumptext turba-convert-sql-shares-to-sqlng arb_texture_multisample-minmax tie ucommon-config cfdisk zanata debiandoc2dbk switch-pxe-bg-mode vefte install-nsspgsql.sh tcpbsi mb-applet-wireless mia-3dcombine-mr-segmentations jdb pcimodules qemu-sh4eb-static xenserver.rb ssr tupi vdm_encode vzmigrate simplify2why

© loginroot.com, 2016