Binary: agda

aarch64-linux-gnu-objcopy euare-instanceprofileremoverole scheme-r5rs globus-job-submit qrsub mpirun_dbg.gdb pbmtogem snmptrap c2ph GenIssuerAltNameExt rake traffic_logcat zanata_pom_xml_make affix balooctl citadel freefoam-cellSet git-release kinit.shared dawg11-status.pl monfailures MSProject.pm mumble-django-configure NPtcp pcl_openni_feature_persistence poeditor qhelpgenerator spectool_gtk voronoi xen-init-name