HomeIsabelle/Phabricator

repackage as csdp-6.1-1, with proper platform names;