pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
groffer
ksquares
mpitests-osu_get_latency
audial
pnmcomp
snmptrapd
pvbatch_openmpi
arb_transform_feedback2-draw-auto
glsl-sin
prosodyctl
denial6
propwatch
dcparse
YUV422ItoYUV420I
check-catalog.sh
dphys-config-usb-storage
gif2png
gst-reload
virt-builder
lnptest
mia-2dimageselect
perditiondb_ldap_makedb
ipbori
gensgmlenv
rc.pl
text2ps
authorindex
xorp_bgp
xvnc4viewer
yaz-url