[Bug 720857] New: Review Request: datalog - A Lightweight Deductive Database using Datalog
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: datalog - A Lightweight Deductive Database using Datalog
https://bugzilla.redhat.com/show_bug.cgi?id=720857
Summary: Review Request: datalog - A Lightweight Deductive
Database using Datalog
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: ramsdell(a)mitre.org
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Spec URL: http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.spec
SRPM URL:
http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog-1.6-1.src.rpm
Description:
This package contains a lightweight deductive database system.
Queries and database updates are expressed using Datalog--a
declarative logic language in which each formula is a function-free
Horn clause, and every variable in the head of a clause must appear in
the body of the clause. The use of Datalog syntax and an
implementation based on tabling intermediate results, ensures that all
queries terminate.
The components in this package are designed to be small, and usable on
memory constrained devices. The package includes an interactive
interpreter for Datalog, and the developments package has a library
that can be used to embed the interpreter into C programs.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
11 years, 4 months
[Bug 723575] New: Review Request: libpki - Easy-to-use PKI library
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: libpki - Easy-to-use PKI library
https://bugzilla.redhat.com/show_bug.cgi?id=723575
Summary: Review Request: libpki - Easy-to-use PKI library
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: pm(a)datasphere.ch
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Spec URL: http://monnerat.fedorapeople.org/libpki.spec
SRPM URL: http://monnerat.fedorapeople.org/libpki-0.6.5-1.fc14.src.rpm
Description:
This library provides the developer with all the needed features to
manage certificates, from generation to validation. The LibPKI Project
enables developers with the possibility to implement complex cryptographic
operations with a few simple function calls by implementing an high-level
cryptographic API.
The last version of the OCSP responder (ocspd) uses this library: thus I need
libpki to upgrade ocspd.
rpmlint output:
$ rpmlint SPECS/libpki.spec
0 packages and 1 specfiles checked; 0 errors, 0 warnings.
$ rpmlint SRPMS/libpki-0.6.5-1.fc14.src.rpm
1 packages and 0 specfiles checked; 0 errors, 0 warnings.
$ rpmlint RPMS/x86_64/libpki-0.6.5-1.fc14.x86_64.rpm
libpki.x86_64: E: incorrect-fsf-address /usr/share/doc/libpki-0.6.5/COPYING
libpki.x86_64: W: no-manual-page-for-binary pki-xpair
libpki.x86_64: W: no-manual-page-for-binary pki-crl
libpki.x86_64: W: no-manual-page-for-binary pki-request
libpki.x86_64: W: no-manual-page-for-binary pki-query
libpki.x86_64: W: no-manual-page-for-binary pki-cert
libpki.x86_64: W: no-manual-page-for-binary pki-derenc
libpki.x86_64: W: no-manual-page-for-binary url-tool
libpki.x86_64: W: no-manual-page-for-binary pki-tool
libpki.x86_64: W: no-manual-page-for-binary pki-siginfo
1 packages and 0 specfiles checked; 1 errors, 9 warnings.
$ rpmlint RPMS/x86_64/libpki-devel-0.6.5-1.fc14.x86_64.rpm
libpki-devel.x86_64: W: no-documentation
libpki-devel.x86_64: W: no-manual-page-for-binary libpki-config
1 packages and 0 specfiles checked; 0 errors, 2 warnings.
$ rpmlint RPMS/x86_64/libpki-static-0.6.5-1.fc14.x86_64.rpm
libpki-static.x86_64: W: no-documentation
1 packages and 0 specfiles checked; 0 errors, 1 warnings.
$ rpmlint RPMS/x86_64/libpki-doc-0.6.5-1.fc14.x86_64.rpm
libpki-doc.x86_64: E: incorrect-fsf-address
/usr/share/doc/libpki-doc-0.6.5/COPYING
1 packages and 0 specfiles checked; 1 errors, 0 warnings.
$ rpmlint RPMS/x86_64/libpki-debuginfo-0.6.5-1.fc14.x86_64.rpm
1 packages and 0 specfiles checked; 0 errors, 0 warnings.
- Upstream has been requested by e-mail to change the license file and to
provide man1 pages.
- Documentation that can be provided in the -devel and -static subpackages is
already present in the (required) main package.
- Although "make test" is recognized, no %check spec section is provided: the
upstream-provided tests need a tty input and can only be executed by themselves
without failing :-(
Thanks in advance for reviewing
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
11 years, 4 months