pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
rfcomm
ceph_test_object_map
runq.exim
gawk
wftopfa
gifcolor
globus-job-manager-lock-test
google-authenticator
jq
build-progress.sh
pmi_proxy
chfn
yaz-marcdump
affxml
ar
destripe
icon_dump_index
cwdaemon
datapacker
forge_get_config
iodine-client-start
ngrams
ecppc
install-menu
MonoDevelop.Projects.Formats.MSBuild.exe.config
openscad
powerline
pwrkap_aggregate
tos-mote-key
webkit2pdf