[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=1093500



--- Comment #5 from Scott K Logan <logans@xxxxxxxxxxx> ---
Upstream just released new versions of this chain that are sync'd properly. All
packages are now building at their latest versions without any bundled
software.

Spec URL: https://cottsay.fedorapeople.org/clasp/clasp.spec
SRPM URL: https://cottsay.fedorapeople.org/clasp/clasp-3.1.0-1.fc20.src.rpm

Copr builds (F20, F21 and rawhide):
http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/

rpmlint output:
SPECS/clasp.spec:39: W: configure-without-libdir-spec
clasp.x86_64: W: spelling-error Summary(en_US) nogood -> no good, no-good,
Gounod
clasp.x86_64: W: spelling-error %description -l en_US nogood -> no good,
no-good, Gounod
clasp.x86_64: W: spelling-error %description -l en_US satisfiability ->
insatiability, advisability
clasp.x86_64: W: no-manual-page-for-binary clasp
clasp-devel.x86_64: W: no-documentation
3 packages and 1 specfiles checked; 0 errors, 6 warnings.

Thanks,

--scott

-- 
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





[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]