Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

auditd grdvolume gnokii-smsd same-gnome iperf3 KateDJ purple-send-async privoxy dhclient-script xarchiver schema-reload ASFileBrowser conduit-client descseq supermatcher carrousel znew pto_template jgem lives_mkv_encoder3 mia-myowavelettest genotype2mipe rfddump asn2all log2ndo pixz compare_distance_matrices.py shishid vmemctrl z88o