pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mk-amd-map
nm
mn10300-linux-gnu-ar
byobu-screen
cppcheck
buildrealms
v.parallel
findproxyfile
mtn-cleanup
ncftpls
gl-1.0-long-dlist
gl-2.1-minmax
wbemgc
viewvc-mp.py
xpaaccess
xrd
verify-db
textsearch
unknown
g3data
gnt-backup
gnupod_convert_APE
pbmtoimgv
lamhalt
sdl2-config
pcv
zope-testrunner3
is.pl
mkvsydvf
xen-python-path