pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
cacertdir_rehash
Mail
mktemp
gcj
kdeinit4_wrapper
cvsaskpass
mysqldumpslow
orbited
test_physfs
tload
fwcheck_psad
plan_avg.x_openmpi
bear
dnssec-coverage
btlaunchmany.bittorrent
csanalyze
debsigs-installer
dxfsphere
BMPtoRGB
gxtuner
launcher.properties
newmail
nosetests3
pecan-python2
beta_diversity_through_plots.py
lrelease
sswap
img_stat
v4l2ctrl
wdf-dump