Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

date h52gif ipv6loganon medimport mongofiles upssched-cmd yexpand-g77 pcl_ply2obj lupdate-qt4 reposctl vcf-subset viewvc-mp.py verify-db command-not-found snakeoil-on-ice diodmount freefoam-graphResKE hsbrainfuck hxmultitoc align_image_stack icegridnode indi_ieq45_8407 japiotext mipeCheckSanity simadb_cli sordi rcexplain setup-packaging-environment ufiformat cmd_bits