pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
euca-deregister
jasmine-node
nfs4_getfacl
pmlogger
catkin
init
xrd
astcanary
ceph_rgw_jsonparser
emem
fprint_demo
freehdl-v2cc
gfan_tropicalstartingcone
git-merge-changelog
grsync
hdup
findcontact
exifautotran
lpsconfcheck
minctoraw
mobile-atlas-creator
osgbillboard
po2debconf
poeditor
pykdeuic4-2.7
bamg2geo
roarphone
runsnake
vdb-config.2
xwiishow