Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bltk_spy ceph-syn cdserv-gfortran install-packages gstat twopi i.rectify qconf g_velacc incrontab mysqlslap reset find2perl python2.6-prody yelp dispcal cdfmoc cinnamon-session fcitx-fbterm-helper gattrib git-rename-tag i686-w64-mingw32-gnatbind-posix akonadi_googlecalendar_resource getfem-config teamnl oarsub owx-import qemuctl qemu-sparc64-static sinntp