Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

m68k-linux-gnu-objcopy dvddirdel hsqldbRunUtil meld jade arb_es2_compatibility-shadercompiler gen-compressed-teximage floppy xgnokii sed affsegment save red.lut freefoam-ideasUnvToFoam v.parallel htag krdc_rfb_approver hcp dbverify metche JPWL_image_to_j2k pfsindcraw whups-svn-hook pdistreport vhdl_count sff-load datatypes_driver fsfs-reorg tupi.bin zoo