pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bowtie-build
cdbackup-g77
eric4-pluginrepository
fawkes
ttx
mupprnt
scandeps.pl
puppetca
oLschema2ldif
scponlyc
dellLcdBrightness
scomes
apt-dater-host
cdfsum
md5sum.textutils
db5.3_dump
embossupdate
fence_nss_wrapper
gbw3
grdclip
r.info
r.topmodel
parsecontrol
gda-list-server-op-5.0
memcrm
map2jnx
qmail-lspawn
gmk_m3-long
memcacheSync.php
atk6-sendpees6