pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ccze-cssdump
euca-attach-vpn-gateway
bmc-device
jack_iodelay
kwrapper
test-amdtp
whirlpoolsum
lrunzip
lrzcat
pgmedge
nss-softokn-config
pmnewlog
pyhoca-gui
cpglockd
tgtadm
vcf-query
tcbench
vglrun
cdfsiginsitu
drbl-gen-client-files
enblend-mp
install.sh
grokevt-dumpmsgs
PTinfo
parcimonie
isofilter
masai_indexer
squid3
uzbl-core
tv_grab_pt_meo