Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

babeltrace stg-koji tigge_split lcg-get-checksum vc1parser mpitests-osu_acc_latency rcc-qt5 tpm_setclearable poterminology fsck dmail join-dctrl random.lut fbset freefoam-checkMesh gbrowse_launch_aws_slaves gcalccmd gvb indi_simulator_wheel text2table lightdm-kde-greeter mailnagd runjsonrpc2 simsam.py gmk_m3-int64 vr.pl mksunxiboot wapiti-getcookie python yapra