pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
setfacl
dvtm
gfal_version-32
git-rebase-theirs
hetupd
ingo-convert-sql-shares-to-sqlng
glx-oml-sync-control-getmscrate
turbo_davidson.x
salt-cloud
netscsid
bosixnet_daemon
col7
cdfprofile
dh_installcron
av7110_loadkeys
grainextract
fence_vixel
gksu
lhasa
xyconv
resend.fixmsg
bos
osgmultitexturecontrol
process_wait
msnsetup
dpmgr
check-sendfile
skeinforge_craft
swac-get
swift-container-replicator