Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

abi-compliance-checker mips64-linux-gnu-ld fsck.ext4dev beam cgget xc-info x86_64-w64-mingw32-gcc-nm mutt pnmtotiff ganeshactl ociobakelut glx-create-context-invalid-flag vcftools agtl raxml bregex arm-linux-gnueabi-c++filt bp_revtrans-motif UYVYtoYUV422 dmsdmd dose-distcheck Fhelp convert-im6 ipcheck.py jmeter-server akonaditest ndtpd get_options pcl_ni_susan unp