pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
h8300-linux-gnu-nm
dtestcm
nsdb-simple-nce
ftlint
ganglia-config
krdb
lesspipe.sh
nethogs
ntfslabel
exrmakepreview
otf2bdf
morbid
lzmadec
bin2h
awsetbg
freefoam-rhoCentral
gmotionlive
jh_build
oe.pl
podviewer
mia-2dcost
mincreshape
otrs.ReprocessMails.pl
instant-showcache
bundle
shorewall-lite
sacct
easy_eliza
splitindex
webkit2pdf