Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

unarj dirac_YUV422ItoYUV420I gvfs-open ipmievd mono-service2 doctrine polygon-mode-offset puppetqd wsdl2py pq2-cache genreflex wifi cytune x86_64-linux-gnu-gcov-4.8 bdy gfan_fancommonrefinement gfs2_mount aggregate-avatars hostap_rid bpappend llvm-mcmarkup pof6 uname_resource crmgr ib_qlgc_vnic_query fogdocker.rb sslocal slon_watchdog fixpix xbs