pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
fold
cpufreq-bench
dvtm
akonaditray
lpasswd
mingetty
mdoc-update
winicontoppm
podchecker
atig
filterctl
atsa
fcitx-dbus-watcher
asn1_compile
pto_template
slice2php
innxbatch
makehistory
jocamlprof
las2las
LogCentral
pumpa
mllp_send
qwavinfo
rsyslogd
keyart
storeBackupCheckBackup
systemd-cgtop
usbprog
vfltest