pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
radsniff
geos-config
tbl
dump_lfts.sh
kgpgconf
oocalc
x86_64-w64-mingw32-windmc
upscmd
roxterm
simfqt_parseFareRules
sa-learn
anjuta-tags
calligraconverter
di
ecaccess.bat
psmeca
cvtbatch
changepagestring
schwartzmon
mia-labelsort
mutextrace
tunefs.ocfs2
sc_analysis_dump
snp_store
soundkonverter
tptp2dfg
tscd
easy_eliza
xsec-xklient
z88v