pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
adiff
csv
djvuextract
fasd
getmail_fetch
d.extract
qrdel
cd-read
i686-w64-mingw32-gfortran
ntfsmount
pom2
speexenc
in.telnetd
bootstrap-6.0.24.jar
aumix
cdfvar
conkeror
frombin
fstrcmp
keytool
makeactive
vboxmail
t1rawafm
svm-checkdata
mia-2dgroundtruthreg
mrabs
qmlviewer
RNAeffective
sisu-sqlite
tlcl_generator