pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
as
cp2k.psmp_openmpi
thin_repair
isovfy
r.horizon
g_bundle_d
kpasswd
faxsend
virt-list-filesystems
upsmon
shield-trigger
ib_atomic_bw
pmfunc
php
postgresql_autodoc
mergecap
xsetmode
airspy_r820t
bcrypt
clustalw
eboard-addtheme
gnome-logs
gom
hb-ot-shape-closure
opj_jpip_test
moonshot
ns3.17-bench-packets
pysurfer
qemu-s390x
atk6-dnsdict6