pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
checklocales.pyc
dapltest1
gdb
gle
r3.stats
h5diff
pi3topbm
db_to_csv
qcollectiongenerator
rtkitctl
staprun
flock
xsensors
fmi
migration.sh
ceph_test_get_blkdev_size
derbyctl
cachedas
make-microsoft-freecell-board
gmtswitch
asetkey
mod2sec
parley
pkstatogr
ipbori
py3clean
qtinfo
rtl_adsb
lucene2indexer
twatch