pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
coin-config
euca-unbundle
find
gnome-text-editor
gnomevfs-mv
gofmt
intel_gpu_time
ebml_validator
mpitests-osu_multi_lat
compress
showmount
nxclient
mimedump
urxvtc
svnserve
xfce4-notes-settings
hda-verb
aa-logprof
openbsd-cwm
debci-status
fileschanged
mgd77magref
jflex
mdbus2
nfsdcltrack
udebug
treesize
rat-media
sdate
tunesviewer