pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
c6x-linux-gnu-size
condor_router_rm
lpadmin
imtest
euscale-delete-scheduled-action
fence_ack_manual
icewmtray
intel_reg_checker
loggerhead.wsgi
ospam
horde-remove-user-data
arb_transform_feedback3-end_query_with_name_zero
ptweens
lcp_writepol
afm2tfm
dose-distcheck
prophecy
urlget
gfan_mixedvolume
hxtabletrans
jh_generateorbitdir
lysdr
mipe2sbeprimers
partitionmanager-bin
python3.4m
rbrcc
fst-compiler-utf8
mergecap
wmifinfo
zpasswd