pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
certmaster-ca
gabedit
kml2gmt
g.message
r.resample
mstmcra
crm_verify
cgi_to_db
perltidy
phar.phar
psresize
rpmdev-sha512
cimconfig
bak2db
sfxload
upgrade-db
maskambigprot
update-user-group-ssh.sh
x2sys_report
d.rast.num
draw_lib_dependencies
recon
run-mummer1
qmlbundle
regression_tests_windows.bat
fst-parse
sgfsplit
vdb-decrypt.2
sra_to_solid
tunesviewer