Binary: agda

mmldif strip cmake3 curlpp-config dirmngr-client gdalinfo v.net.timetable v.sample sge_shadowd sclient pqxx-config lessc.orig vp-address-02 arbtt-capture cdir gocr-tk gst-discoverer-1.0 hmmfetch mojomojo_test.pl metacam mrpt-performance pvm python3-osprofiler pybabelfishd make_library_id_lists.py qmtest sensible-browser scfg_test vapicheck-0.26 wmwork