pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
autotrace
makecbf
toc2cddb
cloud-run-instances
rfrename
euca-create-vpn-gateway
lookbib
clog_print
nview
rdm_model_collector.py
ircp
qdbusxml2cpp-qt5
vconfig
svndbadmin
dba
clustalx
dtc-xen_domU_gen_xen_conf
efibootmgr
fstransform
togeomview
gmtdefaults
kazam
last-dotplot
buildPortalWSDL
mafft-homologs
MSProject.pm
mysqmail-postfix-logger
tstdt
stat_driver
vpnc-connect