Binary: agda

randombytes collectd-nagios imsettings-list implantisomd5 lockdev i686-w64-mingw32-g++ netgen-mesher pcp-uptime ati_draw_buffers-arbfp ext_framebuffer_multisample-alpha-to-one-msaa-disabled urxvt256c-mlc smurf6 nsproxy adt-virt-null powerpc64le-linux-gnu-strings calibre-smtp calligrasheets dailystrips drbl-useradd rsaperf untrigraph loki_sort_error ConfigList.pm nepomuk-simpleresource-rcgen nepomuk2-rcgen nngrep chardetect3 qemu-m68k spikeproxy fileroot