pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ris2xml
dbus-binding-tool
euca-replace-network-acl-association
eulb-enable-zones-for-lb
mgd77path
PrettyPrintCrl
epsffit
xsup_ntpwdhash
ptloader
dcfujigreen
dh_builddeb
which
gcj-4.9
hpanel
condor_credd
intel-gpu-overlay
members
mhwaveedit
MonoDevelop.Ide.dll.config
comp
cat_nvram
doseutility
qmailctl
t32out.txt.gz
riemann-client
seqan_mason
helicos-load
stumpwm
C_etat_civil
xentrace_format