pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
avahi-dnsconfd
bglprof
s390x-linux-gnu-strings
chown
dspam_merge
eotinfo
cc
ps2epsi
v.net.spanningtree
hdf8to24
unicode_stop
mpitests-osu_mbw_mr
dnstxt
pdfstamp
planet-cache
sems-logfile-callextract
kernelshark
telinit
auchk
gdal_trace_outline
garnier
freefoam-PDR
fwb_pf
h8300-hitachi-coff-gcc
hhmake
hb-shape
smtpfront-qmail
map-services
localinfo
starpu_top