{ "bug_id": 1599012, "repo": "cadical", "exception": false, "description": "", "branch": "master", "action": "new_repo", "upstreamurl": "", "summary": "Simplified SAT solver", "namespace": "rpms", "monitor": "monitoring" }
The Pagure repository was created at https://src.fedoraproject.org/rpms/cadical
Metadata Update from @mohanboddu: - Issue close_status updated to: Processed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.