Binary: cinnamon-extension-tool

remove-ds.pl artsd cernlib sedispol antenv.cmd GenFw gpsbabel touchpad-edge-detector grmid mongosniff mpitests-IMB-IO ganesha_stats opengrok camqadm shinken-scheduler tint2 ceph_erasure_code_benchmark coq-tex debsig-verify gammu-smsd-inject gmysqlcc goweb edje_player mecab blast_formatter encode64.pl pmlogger_daily pkeditogr polygraph-pgl-test sccinit