pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
openrisc-linux-gnu-ld
go-md2man
xmkmf
mdoc-update
pcl_vtk2pcd
pcp-free
qpid-stat
skin
xmonad-start
yaz-illclient
zabbix_proxy_mysql
aegis
alurestream
fcgiwrap
freefoam-cavitating
cwddel
gparted-pkexec
v.normal
indi_v4l_legacy
ffado-debug
pdbdump
aria_read_log
chgpasswd
xmlpatternsvalidator
s9scm2html
smd-push
lualollipop
lily-image-commands
vserver
xymonclient-netbsd.sh