pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
tile-linux-gnu-gprof
man5x
sprof
fdp
h5pcc
ipmitool
pvffile
skel
perf
tap2rpm
qpid-cluster
mkdiskimage
sockaddr
xfs_freeze
header.py
anfo
i586-linux-gnu-objdump
bittwist
cdbfasta
ceph_tpbench
dasher
dcmqrti
lilypond
eoutdent
pocketsphinx_mdef_convert
acpl-long
smd-loop
submittodebian
spice-xpi-client-remote-viewer
vmpk