pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
monmaptool
glite-lb-check_version.pl
lfc-rmgrpmap
iwpmd
readpst
dshbak
pstex2eps
silas.mpi
tuned-adm
xawtv
xfsmdiag
klogd
cdfmoc
dget
supermatcher
fbx-playlist
GENtle
x86_64-w64-mingw32-gnatbind-win32
gvpectrl
iconx
test_multi.py
qemu-sh4eb
map2rmap
tntrancid
rebuildd-init-build-system
sdranlib
mfplain
pdfatfi
TextExporter
vorbisgain