pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
generate_modules.py
bltk_calc
ceph_test_cors
clamd.clamsmtp
condor_kbdd
dirac_YUV422toRGB
pitchplay
gpgsplit
h5redeploy
updateinfoxml2solv
pamlookup
jsonlint
glsl-vs-arrays
accton
pktype
trqauthd
aeedit
atslib
basexclient
install_packages
fdnstxt
funcoeszz
oclingo
wv2-config
mimefilter
upslog
tjl
uclust
snap
vdb-config