https://bugzilla.redhat.com/show_bug.cgi?id=1093516 Bug ID: 1093516 Summary: Review Request: gringo - Grounding tools for (disjunctive) logic programs Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Assignee: nobody@xxxxxxxxxxxxxxxxx Reporter: logans@xxxxxxxxxxx QA Contact: extras-qa@xxxxxxxxxxxxxxxxx CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx Spec URL: http://cottsay.fedorapeople.org/gringo/gringo.spec SRPM URL: http://cottsay.fedorapeople.org/gringo/gringo-4.3.0-1.fc21.src.rpm Description: Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. Gringo is such a grounder. Its output can be processed further with clasp, claspar, or claspfolio. Fedora Account System Username: cottsay Copr builds (F19, F20 and rawhide): http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/ rpmlint output: gringo-examples.noarch: W: doc-file-dependency /usr/share/doc/gringo-examples/examples/planning/convert.sh /bin/bash gringo.x86_64: W: spelling-error %description -l en_US claspar -> clasp, Caspar gringo.x86_64: W: spelling-error %description -l en_US claspfolio -> clasp folio, clasp-folio, classification gringo.x86_64: W: no-manual-page-for-binary gringo gringo-debuginfo.x86_64: E: debuginfo-without-sources gringo-devel.x86_64: W: no-documentation gringo.src: W: spelling-error %description -l en_US claspar -> clasp, Caspar gringo.src: W: spelling-error %description -l en_US claspfolio -> clasp folio, clasp-folio, classification 5 packages and 1 specfiles checked; 1 errors, 7 warnings. Notes: - Because this is part of a chained group of packages (clasp => gringo => clingo => aspcud), I opted to use copr for test builds instead of koji. - This package contains static-only libraries and adheres to the guidelines [1]. - rpmlint reports "debuginfo-without-sources" but the two packaged files are a single static library (no debuginfo) and a single executable, which was compiled from a single .cpp file and has no headers, so has nothing to install. You'd get the same result if you compiled a "Hello, World!" C++ program into an RPM. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review