pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
cshost
ceph_omapbench
fastachecksum
xpmroot
ldminfod
peverify
myproxy-init
ods-kaspcheck
fbo-nodepth-test
qmlimportscanner
libtool
shiboken
consolehelper
vpnc-disconnect
wgrib
xrdp-sesman
bmaptool
chronicle-ping
dnping
freefoam-applyBoundaryLayer
gurlchecker
i8kmon
mia-2dsegseriesstats
amd64-mingw32msvc-strings
pcapdump
pegasus-plan
pfsoutrgbe
pmxab
gord-int32
teem-gprobe