pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ranlib
ceph-coverage
paste
eulb-describe-lb-policies
fedfs-null
hdiff
mysql-zrm-reporter
nrsysmond-config
mapiprofile
arb_texture_multisample-errors
arb_texture_view-rendering-target
epsffit
rst2odt_prepstyles
qmlmin-qt5
scotch_gmk_m2
scotch_mcv
hoststat
makealiases
freeplane
mailagent.decnet.pl
mia-3dfield2norm
sftp-admin
iscsid
groupware-install
pyuic5
mp_plot
compare_alpha_diversity.py
stpm-exfiltrate
depythontex3
varmon