pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
kxterm
euare-grouplistpolicies
bdftogd
ifenslave
ksysguardd
lvcreate
uz
myisampack
snmpdelta
nfs4_editfacl
orbit-name-server
ospfclient
unbound
beep
coqide
timsieved
dsh
exim_dbmbuild
fpcmkcfg-2.6.4
xquery2plan
jackhmmer
ifile.inject-learn.header
kvpnc
netdev-times-record
mh_linkjars
minisat+
mp3check
legacy_blast
markdown_py
csv2rdf