https://bugzilla.redhat.com/show_bug.cgi?id=1808467
Bug ID: 1808467
Summary: Review Request: python-pysmt - Solver-agnostic library
for SMT Formulae manipulation and solving
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: mail(a)fabian-affolter.ch
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://fab.fedorapeople.org/packages/SRPMS/python-pysmt.spec
SRPM URL:
https://fab.fedorapeople.org/packages/SRPMS/python-pysmt-0.8.0-1.fc31.src...
Project URL:
http://www.pysmt.org
Description:
A library for SMT formulae manipulation and solving pySMT makes working
with Satisfiability Modulo Theory simple. Among others, you can:
* Define formulae in a solver independent way in a simple and inutitive way
* Write ad-hoc simplifiers and operators
* Dump your problems in the SMT-Lib format
* Solve them using one of the native solvers
* Wrapping any SMT-Lib complaint
Koji scratch build:
https://koji.fedoraproject.org/koji/taskinfo?taskID=41987982
rpmlint output:
$ rpmlint python-pysmt-0.8.0-1.fc31.src.rpm
python-pysmt.src: W: spelling-error %description -l en_US formulae -> formula,
formulate, formulas
python-pysmt.src: W: spelling-error %description -l en_US inutitive ->
intuitive, nutritive, diminutive
python-pysmt.src: W: spelling-error %description -l en_US hoc -> ho, choc, hock
python-pysmt.src: W: spelling-error %description -l en_US simplifiers ->
simplifies, amplifiers, oversimplify
1 packages and 0 specfiles checked; 0 errors, 4 warnings.
$ rpmlint python3-pysmt-0.8.0-1.fc31.noarch.rpm
python3-pysmt.noarch: W: spelling-error %description -l en_US formulae ->
formula, formulate, formulas
python3-pysmt.noarch: W: spelling-error %description -l en_US inutitive ->
intuitive, nutritive, diminutive
python3-pysmt.noarch: W: spelling-error %description -l en_US hoc -> ho, choc,
hock
python3-pysmt.noarch: W: spelling-error %description -l en_US simplifiers ->
simplifies, amplifiers, oversimplify
python3-pysmt.noarch: W: no-manual-page-for-binary pysmt
python3-pysmt.noarch: W: no-manual-page-for-binary pysmt-install
python3-pysmt.noarch: W: no-manual-page-for-binary pysmt-shell
1 packages and 0 specfiles checked; 0 errors, 7 warnings.
Fedora Account System Username: fab
--
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