pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bkhive
c6x-linux-gnu-cpp
icewmtray
ldns-chaos
mpdallexit
mpitests-IMB-IO
xmtr.bin
crm_error
uic3
xapian-replicate
dmxinfo
mipsel-linux-gnu-objdump
buildd-mail
sync-accounts
debiandoc2wiki
hmm2emit
touch_newsgroup
splitimage2pdf
rewritepdf
mono-xsp2-admin
neopi
prename
count_seqs.py
make_3d_plots.py
qlalr
rexx
sslocal
swift-container-updater
tcmt
tegaki-train