#13873 New Repo for "rpms/clingo"
Closed: Processed 4 years ago by ignatenkobrain. Opened 4 years ago by thofmann.

{
 "action": "new_repo",
 "branch": "master",
 "bug_id": 1733101,
 "description": "",
 "exception": false,
 "monitor": "monitoring",
 "namespace": "rpms",
 "repo": "clingo",
 "summary": "A grounder and solver for logic programs",
 "upstreamurl": ""
}

Metadata Update from @ignatenkobrain:
- Issue close_status updated to: Processed
- Issue status updated to: Closed (was: Open)

4 years ago

Login to comment on this ticket.

Metadata