pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
crda
loadshlib
gnustep-tests
ifup
vpxdec
myproxy-test
lablgtk2
nxssh
pflogsumm
mkchroot.sagator
siege2csv.pl
lcp_crtpconf
lzmainfo
ypserv_test
dhis-register-q
mke2fs
fastaq_merge
Fdescr
gpsdctl
r.basins.fill
estmaster
pw.pl
stag-db
imap4d
mh_resolve_dependencies
pixz
barbican
loofah-rebuild
qemu-cris
wmanagerrc-update