Binary: platex

sessionStats gifsicle gst-launch-0.10 mpitests-osu_bcast openslide-write-png pcre-config arb_separate_shader_object-ValidateProgramPipeline arb_texture_view-clear-into-view-layered fbo-generatemipmap-1d xmlpatterns-qt5 qcollectiongenerator xfce4-mouse-settings zabbix_agentd audisp-prelude wmdocker groovydoc lava live-config minit-list nacctd original-awk qemu-arm-static sas_disk_blink slony_show_configuration stompserver pythontex3 mkgrkindex movie-make-title-simple vb2vmp xorp_ospfv2