Binary: agda

repl-monitor abrt-action-analyze-c strip berkeley_db43_svc cupsaddsmb db2pdf euscale-put-scaling-policy openapp grib_histogram ext_framebuffer_multisample-polygon-smooth x2gomountdirs dh_autotools-dev_updateconfig gmm ecaccess-association-put gmt_shell_functions.sh x2sys_list i686-w64-mingw32-gnatmake-win32 ipescript go-dag-summary loki_count ocrfeeder pfsextractchannels encode.py python2-misaka rdfgraphisomorphism amk_fft2 syncpackage velveth_63_long char2sp zapping_setup_fb