pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
fusion_skirmish
mke2fs
gd2togif
gearmand
gplc
v.convert
grib_set
mcmfmt
mpdsigjob
ntfsresize
camlp4oof.opt
ssh-agent
arb_vertex_buffer_object-ib-subdata-sync
pilot-wav
ksverdiff
lcp_crtpol2
printserverdb
x2goresume-session
quest
aewm
aview
gamgi
grdfft
uncompress
icingastats
memcslap
ro-localization
qemu-system-ppc64
uncat
update-xfonts-traditional