Binary: agda

c6x-linux-gnu-ranlib buildrealms fc-list h5c++-32 lgroupmod autopvf rlogTOslog2 arb_seamless_cubemap fs-discard-exit-2 nv_conditional_render-begin-zero ao-test-baro bowtie2-build debian-edu-hd-warn silent freefoam-interDyM icedove flipbook libprelude-config matita.opt mia-2dserieshausdorff mosquitto_pub mupdf-x11 pcl_pcd_video_player select-boot-kernel-initrd pelican-quickstart simpleburn CompNovoCID imrot wmclockmon-config zoomer