Binary: agda

catdic exigrep gif2x11 lfc-chown virt-cat libwacom-list-local-devices loggerhead.wsgi ltspfs ntfsmftalloc pcl_pcd2vtk glx-create-context-invalid-gl-version pyrcc4 shtoolize compton-trans gpiv_combing gpsdecode bibhva jack_meter k3d memcdump odfbuild x86_64-linux-gnu-python3.4-config llvm-cov mate-search-tool metview password-gorilla qdoc gmk_m2-int32 ml-build kanji-fontmap-creator