Binary: agda

byobu-layout cdmove-gfortran dpkg-name globus-hostname gpgv2 groff itweb-settings.itweb intel_error_decode ppmtosixel nspr-config opendmarc arb_sync-repeat-wait sediff lsusb.py cups-browsed addpasswd r.to.vect hugin_hdrmerge udpcli stag-itext2sxpr gda-test-connection-5.0 not-3.4 mprof-decoder node-static genmakefile osgslice webmail-install tk_scsiformat sigviewer simplesnapwrap