pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
grandvizier
FBReader
garmin_dump
gvfs-mount
kollision
python-mpi
NiBackRecorder
glsl-useprogram-displaylist
po4a-build
portrelease
sam2vcf.pl
bcrontab
cgnsconvert
charactermanaj
check_postgres_hitratio
dicelab
emerillon
espeakedit
fityk
fqterm.bin
git-repl
guile-2.0
qssign
dbs_dumptabdata
mumble-django-configure
ocr4gamera
wincompile.bat
ttf2ufm_x2gs
upx-ucl
yoshimi