user: mbooth set for group::eclipse-sig acl: watchcommits of package: sat4j from: to: Approved on branch: master To make changes to this package see: https://admin.fedoraproject.org/pkgdb/package/sat4j