pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ranlib
cpqarrayd
LzmaCompress
memsup
v.kernel
g_tpbconv_d
imapsync
raw_ethernet_lat
built-in-constants
qperf
pixeltool
qdbus
sg_ident
speexdec
jbibtex
ard-reset-arduino
autoradioctrl
expandCols
ranlib
cm
start_clean.boot
random.lut
flextra.gfs
g.mapset
kactivitymanagerd
nova-rootwrap
qmp3join
sidplayfp
st_snapshot
lcf