pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
xml2bib
cris-linux-gnu-gprof
ceph_psim
cpmchattr
eqn2graph
vcd2vzt
ipcalc
krunner
ldapdiff
resgen
pbmtocmuwm
NiConvertXToONI
arb_separate_shader_object-ActiveShaderProgram-invalid-program
fdo31934
pyuic4
xfig-plain
cinder-volume
imtools.py
critcl
syco
gmerlin_imgconvert
trjconv_d
kmflcomp
pg_tapgen
mia-2dimagefilter
index.pl
dptsv
pi_stress
spacenavd
llt