[Bug 1808467] New: Review Request: python-pysmt - Solver-agnostic
library for SMT Formulae manipulation and solving
by bugzilla@redhat.com
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
4 years
[Bug 1767234] New: Review Request: python-volatility3 - Volatility
3: The volatile memory extraction framework
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=1767234
Bug ID: 1767234
Summary: Review Request: python-volatility3 - Volatility 3: The
volatile memory extraction framework
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: rebus(a)seznam.cz
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://rebus.fedorapeople.org/SPECS/python-volatility3.spec
SRPM URL:
https://rebus.fedorapeople.org/SRPMS/python-volatility3-1.0.0-0.1.beta.1....
Description:
Volatility is the world’s most widely used framework for extracting digital
artifacts from volatile memory (RAM) samples. The extraction techniques are
performed completely independent of the system being investigated but offer
visibility into the runtime state of the system. The framework is intended
to introduce people to the techniques and complexities associated with
extracting digital artifacts from volatile memory samples and provide a
platform for further work into this exciting area of research.
In 2019, the Volatility Foundation released a complete rewrite of the
framework, Volatility 3. The project was intended to address many of the
technical and performance challenges associated with the original
code base that became apparent over the previous 10 years. Another benefit
of the rewrite is that Volatility 3 could be released under a custom
license that was more aligned with the goals of the Volatility community,
the Volatility Software License (VSL).
Fedora Account System Username: rebus
Koji scratch build:
https://koji.fedoraproject.org/koji/taskinfo?taskID=38671492
Request to approve the new license:
https://lists.fedoraproject.org/archives/list/legal@lists.fedoraproject.o...
Kudos to Miro Hroncok for preparing the spec file.
--
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
4 years