pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
exim_fixdb
RuleTableToTree
g_principal_d
ondelay
start_kdeinit_wrapper
tex2lyx
mail-notification
ppmmake
ganesha-admin
futex-contention-report
npcd
tesseract
vcf-tstv
wdaemon
xkbevd
affxml
cinnamon-screensaver-lock-dialog
builder
gt4-interface-install
fingerw
lnpd
ext2spice
mgpembed
mia-2dmyoperiodic-nonrigid
pcmanfm
sfacctd
pod2pdf
s3qllock
mtst-int64
xc_save