pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
endx2xml
comm
globus-k5
globusrun
cc
jjtree
nl-link-list
tiffmedian
send_nsca
pdfbklt
fixqt4headers.pl
target
wpa_passphrase
yppasswd
ayttm
btyacc
ciderwebmail_create.pl
makehosteddomains
freeplayer
gift-old-to-new-url2fts.pl
bsscounter
latcp
elixir-column
dkimproxy-sign
mwaw2raw
sixel2png
not
lxc-test-getkeys
wp2x
zpasswd