pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
aconnect
m68k-linux-gnu-nm
darkplaces-quake-glx
m68k-linux-gnu-gcc
latex2html
MAKEDEV
secon
createdb
ase-info
pcreate
qml-qt5
syslinux2ansi
transmission-daemon
netdevstat
SocketServer
make_das_conf
gnuplot5-qt
ivinfo
kcometen4.kss
ldapgid
polarssl_cert_req
sched-migration-record
mppb
qmqp-source
hyc2
plot-entropy
mf2pt1
tracker-search
spm8_reslice
ziproxy