Binary: agda

mips64-linux-gnu-strings x86_energy_perf_policy db2x_docbook2texi fluxbox-generate_menu gnome-screensaver-command gvfs-copy ghostview kvg mpiman pcl_transform_point_cloud pmcheck tcpick handler.pyo vigra-config vglconnect dbus-send installdeb-ispell dmucs gbrowse_metadb_config gfs2_fsck grcc show-diff ntpq ocamldumpobj rplayd smalt add-apt-repository swfrender tomoyo-sortpolicy http@