pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
euscale-describe-auto-scaling-instances
ipmi-dcmi
fts-config-get
i.cluster
pbmtoescp2
pcl_demean_cloud
installto.sh
xvile-libdir-path
repodiff
zfs-fuse
aeskeyfind
as
dh_desktop
key
mbsubmit
flog
ganeti-rapi
r.category
maqindex_socks
mate-maximus
mkc_which
moosic
asn2xml
nekobee
nepomukindexer
setdest
pt-mysql-summary
masai_mapper
sipwitch
vdr-newplugin