Binary: agda

prezip ld flex gifrotat gnome-power-preferences display-buttons r.report hp-printsettings Magick-config dbd mpich2version nytidy-g77 generate_rVV10_kernel_table.x_openmpi manypw.x wgsim_eval.pl ceph_test_filestore_idempotent_sequence kaliprint musetup acs-4-0-publish.sh JPWL_image_to_j2k orbit-name-server-2 polygraph-server pyqi qmail-tcpok xmlpatternsvalidator fnrancid rant srf_info cd-tkdesk uqwk.nntp