Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

intersectBed btrfs-restore grid-proxy-info gem64 netreport jmtpfs pi3topbm spline sick_ld_config dvdrecord mymd5sum cdfmax mk_analyze_hdr ij fence_mcdata glosstex jodreports zcat demo.bat smfplay ns820-diag browserify-lite dgscat profitbricks-client frameq make_distance_comparison_plots.py ppltotf ImageCreator sql_gen_objects.py xdot