pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
eric4-pluginuninstall
gnusim8085
fgconsole
vscclient
timemaster
clone_member
passwd
pmieconf
powertop
rst2html
ripd
ardour3
autokey-gtk
bib2bib
create-cciss-mapping
redata
gwyddion-thumbnailer
hothasktags
irsim
lcab
llvm-extract-3.4
mightyctl
tnameserv
pfscut
qmlbundle
s9soccat
tunapie
uim-toolbar-qt4
bb
yaggo