Binary: agda

nm fatmen-g77 classad_functional_tester grid-proxy-init g.list g.proj ibtracert gsf libobjc-4.dll netsed orbit-config setfacl amarok_afttagger nsopenssl.so ecaccess-ectrans-delete.bat apt-grip lumper x86_64-linux-gnu-gfortran gphotofs gplc-iso iodbcadm-gtk synos mark pngchunkdesc qemu-system-mipsel saga_cmd acpl-int32 swig2.0 reseq xen-bugtool