pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
thin_restore
ga-config
egroupwarewizard
kaddressbook
lspst
mysqlrplcheck
zeisstopnm
ytoceta-gfortran
pptpd
in.proftpd
pw_export.x_openmpi
tm_mupad_help
ag
cb2ti3
mips-linux-gnu-gprof
ceph_streamtest
fastaq_replace_bases
hxnum
impack
ijoin
x86_64-linux-gnu-python2.7-config
med-tools
genidl
nngrab
osgpagedlod
recovermov
screenlets-packager
samba-program
vyum
yodlstriproff