Binary: agda

bglmemrun mips64-linux-gnu-ld berkeley_db43_svc rlm_ippool_tool glacier-cli purple-client-example viewfax mpirun_dbg.ddd gen_delete_while_active glsl-explicit-location-03 pyhoca-gui pyrsa-sign pycolor ldactoasc system-config-firewall xfs_mkfile xml-xread a56 dia-normal-integrated rejarForAnalysis gcc-4.4 xpidllex.py ldc2 ecppll fingerw llvm-nm simadb_cli i686-w64-mingw32-ocamlc saslpluginviewer xfce4-notifyd-config