Binary: agda

named-journalprint euare-groupaddpolicy pdfoutline grdedit xmlparse v.overlay cvs-clean noncvslist nebula ppmshift pcl_lum manhole smssend xrdp-keygen 3dldf biber fatresize gnuradio-config-info htntlm ovdb_server jack_net_slave mugshot osgcallback osgtexture2D pegasus-plots polygraph-cdb bouncequeue welcome2l winff-gtk2 olsr_clear_database