Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dvgrab etckeeper exonerate-server drill dmtxread sortshp ylistb-gfortran glsl-reload-source OCSPClient sg_inq modula3_count vtkEncodeString ao-edit-telem backup2l mt-gnu dpkg-hold dwww-index++ etandem redata listbasic gmerlin_visualizer jalv.gtk3 lldb-gdbserver-3.5 lavinfo partclone.ext4dev scilab-cli screenkey servefile shp_doctor tcpstat