pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
aclocal-1.5
condor_advertise
freealut-config
gnome-session-save
v.surf.bspline
mapiprofile
openvas-mkrand
xmlpatternsvalidator
smbldap-userdel
tm_feynmf
tm_shell
query.wsgi
xa
mtt
packetforge-ng
bzip2recover
svok
dnetd
ecaccess-queue-list
groovyConsole
xpidlyacc.py
ldaptor-ldap2dhcpconf
makedep.pl
nfc-emulate-forum-tag4
mldemos
pagsh.openafs
VerificationSOPClassSCU
Rserve.dbg
sc_wartsdump
shorewall