Bug 1093521
Summary: | Review Request: clingo - A bottom up grounder for logic programs | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Scott K Logan <logans> |
Component: | Package Review | Assignee: | Nobody's working on this, feel free to take it <nobody> |
Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
Severity: | medium | Docs Contact: | |
Priority: | medium | ||
Version: | rawhide | CC: | package-review, richmattes, thofmann |
Target Milestone: | --- | ||
Target Release: | --- | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Fixed In Version: | Doc Type: | Bug Fix | |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2019-07-26 22:42:33 UTC | Type: | --- |
Regression: | --- | Mount Type: | --- |
Documentation: | --- | CRM: | |
Verified Versions: | Category: | --- | |
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
Cloudforms Team: | --- | Target Upstream Version: | |
Embargoed: | |||
Bug Depends On: | 1093500, 1093516 | ||
Bug Blocks: | 1225692, 1093522 |
Description
Scott K Logan
2014-05-02 00:43:28 UTC
Updated version Spec URL: https://cottsay.fedorapeople.org/clingo/clingo.spec SRPM URL: https://cottsay.fedorapeople.org/clingo/clingo-4.4.0-1.fc20.src.rpm Copr builds (F20, F21 and rawhide): http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/ rpmlint output: SPECS/clingo.spec:58: W: macro-in-comment %{name} clingo-examples.noarch: W: no-documentation clingo.x86_64: W: spelling-error %description -l en_US claspD -> clasp D, clasp, clasps clingo.x86_64: W: no-manual-page-for-binary clingo 3 packages and 1 specfiles checked; 0 errors, 4 warnings. Thanks, --scott Closing in favor of #1733101. *** This bug has been marked as a duplicate of bug 1733101 *** FEDORA-2019-237ce6f0dc has been submitted as an update to Fedora 29. https://bodhi.fedoraproject.org/updates/FEDORA-2019-237ce6f0dc clingo-5.3.0-5.fc29 has been pushed to the Fedora 29 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-237ce6f0dc clingo-5.3.0-5.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-62e94f4912 clingo-5.3.0-5.fc30 has been pushed to the Fedora 30 stable repository. If problems still persist, please make note of it in this bug report. clingo-5.3.0-5.fc29 has been pushed to the Fedora 29 stable repository. If problems still persist, please make note of it in this bug report. |