pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
conmux
cache_dump
qrdel
mzip
pmsleep
spnavd_ctl
bg5+latex
lacheck
traceroute
setsid
vcf-sort
viewgam
autoconf2.13
mhgui
debram
chroot.fakechroot
gc-analyze-4.9
htp
create-bridge-sql.pl
msvmocas
pmt-fd0ssh
polarssl_cert_app
stxxl_tool
pmlogextract
rfdump
gtst-int32
ptex2pdf
themonospot
wmforecast
xfce4-dict