pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ifnames
rasterizer
bodhi-pickledb
cxi_ns
tknewsbiff
fts-rest-whoami
tbl
cfn-signal
icewmhint
intel_reg_snapshot
ykpamcfg
xml_grep
getteximage-simple
s3put
kvm_stat
mailstats
sendmail.ssmtp
xliff2po
aexml
nsopenssl.so
cctiff
autogrid4
drbl-ssi-client-prepare
cutseq
gm-convert_file
savecore-lyskom
prayer
swipl-rc
task_manager.pl
wmclockmon-config