pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
boincmgr
ceph_test_rados_api_misc
iprop-log
tracepath6
parallel
mpdhelp.py
mpiexec
ncargpath
vhier
install-php.cmd
msgimport.sh
amavis-mc
fit_affine_dfield
ocaml-md5sums
wossinput
cgdisk
forge_make_admin
g.access
kbruch
likey
tcpblast
psl
bits.py
buildoutputparser
qweborf
plt-r6rs
Resampler
odt2xhtml
uuenview
wpa_cli