pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
aulastlog
dcraw
bmc-config
sge_shadowd
scsieject
glx-fbconfig-sanity
ccs_sync
sems-sbc-load-profile
sscep
parasite6
vdltodmx
aewm++_fspanel
s2r
bogotune-tokyocabinet
gmod_add_organism.pl
fossil
lnstat
kmetronome
ideviceimagemounter
x86_64-linux-gnu-python3-dbg-config
llvm-link-3.5
oar-database
pfsout
principal_coordinates.py
scilab-adv-cli
text2ps
thermald
vbmakeregress
xc_save
yagf