Binary: ricci

byzanz-playback colmux epmd fvwm-convert-2.6 heimdal-krb5-config vgextend arb_texture_buffer_object-data-sync clearbuffer-mixed-format glsl-vs-texturematrix-2 qdbus lupdate qstart tpm_unsealdata wmlxgettext ayttm i586-linux-gnu-objdump as bootstrap-vz crtmpserver engrampa frama-c.byte globus-scheduler-event-generator gst-play-1.0 jocamldep.opt pod2markdown osganimate wifi_time2reconnect localserver.py sync-ui uruk-save