pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
s390x-linux-gnu-strings
ceph
pf2afm
lefty
ru
GET
po4a-build
virt-install
qhelpconverter
sdcc-sst7
type1afm
codeaster-get
expect_mkpasswd
gift-start.pl
v.parallel
icesound-experimental
dngconverter
knews
maf-join
getpdfpage
virt-index-validate
notQttest
wvtestrun
opal-restart
osglightpoint
pawserv
pd-watchdog
backup
thg
imsmooth