pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
addr2line
eulb-create-lb-policy
g.mapsets
g_genbox
kfontinst
yac2ncid
ods-hsmutil
pmpost
kitrace_to_db
turba-import-squirrelmail-sql-abook
shell_objects.pyo
comparepdf
ctdb_randrec
drbl-website
extlinux
img2google
gozerbot-stop
hdate
osguserdata
README
ds9
screenruler
slurmdbd
sogod
jc.pl
sweep
sylseg-sk
keyhead
woof
xpretty