pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
linksBed
bltk_check
db2dvi
gnutls-serv
g_covar
g_sigeps_d
intel_reg_checker
hydra_nameserver
pampick
obprop
orc-bugreport
flappclient
sudoedit
arbtt-recover
akonadi_baloo_indexer
bibclean
a2crd
cinnamon-json-makepot
categories
gbrowse_grow_cloud_vol
gpiv_flipx
imagetooth
ctemplate-diff_tpl_auto_escape
nanoc
blastdbcp
ntpsweep
glance
structure-synth
javaldx
xeno-test