pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

curlpp-config envsubst gnomevfs-mv gensrv_py.py oslo-rootwrap whisper-fetch deepfind xteddy mkatfs atslex banshee ld.gold cduce_mktop dpkg-reconfigure dh_link debomatic designate-rpc-zmq-receiver dxfsphere orbd r3.to.rast uploader.sh kbdinfo ieee-copyout lsh-pam-checkpw esvideompeg2pes wsgen pg_resetxlog pdistreport append_sff who@

© loginroot.com, 2016