pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
tile-linux-gnu-nm
curlftpfs
dbus-daemon
dfbg
complete-ant-cmd.pl
g_mk_angndx_d
guilt-fork
j2d
libee-convert
pcxtoppm
pvblot
pcp
arb_vertex_program-minmax
unixgroup
lss3
chardetect
assistant_adp
stompcat
xfce4-notes-settings
clamfs
pop3proxyd
fastaq_merge
grafx2
inews
klog.afs
guiqwt-tests
shnhash
soundinfo
get-news
tpmc