pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mmldif
avr-run
cronolog
fedmsg-hub
lxc-unfreeze
pamtouil
shjs
plserver
qmltestrunner
qdbusxml2cpp
cssshrink.sh
restart
aubusy
bzless
cdfmhst
ocs-expand-mbr-pt
prepare-files-for-PXE-client
redata
expression_levels.pl
r.spreadpath
higan-accuracy
key2odp
keystone-manage
trna2sap
optgeo
otrs.GenerateDashboardStats.pl
assistant_adp
widgetserver
Repo
unyaffs