pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
remove-ds-admin.pl
as
ceph-client-debug
mkqdisk
fastarevcomp
qli
gio-querymodules-64
hp_alice2
fbo-generatemipmap-viewport
designer-qt5
qcollectiongenerator-qt5
co
stompclt
xrced
yad-icon-browser
adequate
start_erl
extsmaild
ucsc_genes2gff
gm-download_atc
gnunet-fuse
grub-reboot
t1reencode
extractjpgs
ltsp-genmenu
mknbi-menu
refdbjade
slirp-fullbolt
soundconverter
xymond_client