pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
sh
m32r-linux-gnu-as
powerpc64-linux-gnu-gprof
acyclic
iodbc-config
mydns-conf-mysql
mysqlmetagrep
scotch_dggath
strace
ykksm-import
coinst-upgrades
cppman
rmt-dump
xpathFind
fslex
gallery-uploader
gm-move_backups_offsite
gpsdctl
hoogle
bprecvfile
nwepgen
lsh-execuv
smtpfront-echo
pbes2bool
mlguistarter
openmx
pcl_openni_ii_normal_estimation
taurusui
st_snapshot
psreport