pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
alsaloop
beakerlib-rlMemAvg
frv-linux-gnu-ld.bfd
mips64-linux-gnu-nm
ranlib
gather_profile_stats.pyo
setpci
net-server
pilot-install-expenses
pw2gw.x_mpich
pia
aedesk
asmail
checkstyle
maildiracl
floatbg
freefoam-checkMesh
x86_64-w64-mingw32-c++-win32
iceweasel
lazbuild-1.2.4
pyprompter
neutron
nib-ls
plt-web-server
rushwho
scotch_gbase-long
tstd
crossword
yhsm-generate-keys
yhsm-import-keys