pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abi-dumper
g_anadock_d
upsrw
slapacl
pva-addvo
pyzord
qcollectiongenerator
smbldap-grouplist
tripwire
GenericFilteringCxxTests
dbcheck
bp_load_gff
cdfmean
dbaexport
dssi_analyse_plugin
x86_64-w64-mingw32-cpp-posix
grdmath
gift
gyoto
pto_mask
glacier2router
akonadi_invitations_agent
llvm-ld
minidlnad
netwag
osgstereoimage
qmail-tcpto
tlsdated
why-config
xsec-checksig