pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
powerpc64-linux-gnu-readelf
grog
gyp
arb_transform_feedback2-cannot-bind-when-active
cconfig
vasy
msp430-gprof
cdfgeo-uv
clojurec1.2
covered
ctsim
GOSA
elaps
typer
expect_timed-run
gnathtml
httpfs2
indi_gpusb
json-glib-validate
sftp-kill
windowmasker_2.2.22_adapter
osmfilter
gscriptor
cpu_offlining
pelican-import
qemu-unicore32
razers2
getwordfreq
uni
xapers-adder