Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: eqp - Automated theorem prover for first-order equational logic
https://bugzilla.redhat.com/show_bug.cgi?id=769958
Summary: Review Request: eqp - Automated theorem prover for
first-order equational logic
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: jcp(a)eskimo.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Regression: ---
Mount Type: ---
Documentation: ---
Spec URL: http://www.eskimo.com/~jcp/eqp.spec
SRPM URL: http://www.eskimo.com/~jcp/eqp-09e-1.fc16.src.rpm
Description: EQP is an automated theorem proving program for first-order
equational logic. Its strengths are good implementations of
associative-commutative unification and matching, a variety of strategies for
equational reasoning, and fast search. It seems to perform well on many
problems about lattice-like structures.
EQP is not a stable and polished production theorem prover like Otter or
Prover9. Since it has obtained several interesting results, it was decided to
make it available (including the source code) to everyone, with no restrictions
(and of course no warranty either). EQP's documentation is not great, but if
you already know Otter, you probably will not have great difficulty in learning
to use EQP.
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: perl-Wx-Scintilla - Scintilla source code editing component for wxWidgets
https://bugzilla.redhat.com/show_bug.cgi?id=757657
Summary: Review Request: perl-Wx-Scintilla - Scintilla source
code editing component for wxWidgets
Product: Fedora
Version: rawhide
Platform: Unspecified
OS/Version: Unspecified
Status: NEW
Severity: unspecified
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: mmaslano(a)redhat.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
SPEC: http://mmaslano.fedorapeople.org/review/perl-Wx-Scintilla.spec
SRPM:
http://mmaslano.fedorapeople.org/review/perl-Wx-Scintilla-0.34-1.fc16.src.r…
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: python-tw2 - Web widget creation toolkit based on TurboGears widgets
https://bugzilla.redhat.com/show_bug.cgi?id=720818
Summary: Review Request: python-tw2 - Web widget creation
toolkit based on TurboGears widgets
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: lmacken(a)redhat.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Spec URL: http://lmacken.fedorapeople.org/rpms/python-tw2.spec
SRPM URL:
http://lmacken.fedorapeople.org/rpms/python-tw2-2.0-0.1.b6.fc15.src.rpm
Description:
ToscaWidgets is a web widget toolkit for Python to aid in the creation,
packaging and distribution of common view elements normally used in the web.
The tw2.core package is lightweight and intended for run-time use only;
development tools are in tw2.devtools.
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: gerris - computational fluid dynamics flow solver
https://bugzilla.redhat.com/show_bug.cgi?id=766883
Summary: Review Request: gerris - computational fluid dynamics
flow solver
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: jonathan.underwood(a)gmail.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Regression: ---
Mount Type: ---
Documentation: ---
Spec URL: http://fedorapeople.org/~jgu/gerris.spec
SRPM URL: http://fedorapeople.org/~jgu/gerris-1.3.2-3.20111123.el6.src.rpm
Description: Gerris is an Open Source Free Software library for the solution of
the partial differential equations describing fluid flow.
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: perl-IO-Socket-Multicast - Perl library for sending and receiving multicast messages
https://bugzilla.redhat.com/show_bug.cgi?id=735045
Summary: Review Request: perl-IO-Socket-Multicast - Perl
library for sending and receiving multicast messages
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: sjt(a)roamingzebra.co.uk
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Spec URL: http://www.cs.bham.ac.uk/~sjt/rpm/perl-IO-Socket-Multicast.spec
SRPM URL:
http://www.cs.bham.ac.uk/~sjt/rpm/perl-IO-Socket-Multicast-1.12-1.el6.src.r…
Description: The IO::Socket::Multicast module sub-classes IO::Socket::INET to
enable you to manipulate multicast groups. With this module (and an operating
system that supports multicast), you will be able to receive incoming multicast
transmissions and generate your own outgoing multicast packets.
I've submitted another request, but its still pending so still in need of
sponsor.
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: smb4k - The SMB/CIFS Share Browser for KDE
https://bugzilla.redhat.com/show_bug.cgi?id=747080
Summary: Review Request: smb4k - The SMB/CIFS Share Browser for
KDE
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: juankprada(a)gmail.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Spec URL: http://public.juankprada.com/smb4k.spec
SRPM URL: http://public.juankprada.com/smb4k-0.10.10-1.fc16.src.rpm
Description: Smb4K is an SMB/CIFS share browser for KDE. It uses the Samba
software suite to access the SMB/CIFS shares of the local network neighborhood.
Its purpose is to provide a program that's easy to use and has as many features
as possible.
Also, This is my first package and I would like someone to sponsor me to
maintain this package.
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: perl-Socket-Netlink-Route - Interface to Linux's NETLINK_ROUTE netlink socket protocol
https://bugzilla.redhat.com/show_bug.cgi?id=738931
Summary: Review Request: perl-Socket-Netlink-Route - Interface
to Linux's NETLINK_ROUTE netlink socket protocol
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: bochecha(a)fedoraproject.org
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Spec URL:
http://bochecha.fedorapeople.org/packages/perl-Socket-Netlink-Route.spec
SRPM URL:
http://bochecha.fedorapeople.org/packages/perl-Socket-Netlink-Route-0.03-1.…
Description:
This module contains the low-level constants and structure handling
functions required to use the NETLINK_ROUTE protocol of Linux's PF_NETLINK
socket family. It is suggested to use the high-level object interface to
this protocol instead; see IO::Socket::Netlink::Route.
$ rpmlint ./perl-Socket-Netlink-Route*
perl-Socket-Netlink-Route.noarch: E: incorrect-fsf-address
/usr/share/doc/perl-Socket-Netlink-Route-0.03/LICENSE
2 packages and 1 specfiles checked; 1 errors, 0 warnings.
I opened an upstream bug about the incorrect FSF address:
https://rt.cpan.org/Public/Bug/Display.html?id=71001
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: perl-Socket-Netlink - Interface to Linux's PF_NETLINK socket family
https://bugzilla.redhat.com/show_bug.cgi?id=738589
Summary: Review Request: perl-Socket-Netlink - Interface to
Linux's PF_NETLINK socket family
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: bochecha(a)fedoraproject.org
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Spec URL: http://bochecha.fedorapeople.org/packages/perl-Socket-Netlink.spec
SRPM URL:
http://bochecha.fedorapeople.org/packages/perl-Socket-Netlink-0.03-1.fc16.s…
Description:
This module contains the low-level constants and structure handling
functions required to use Linux's PF_NETLINK socket family. It is suggested
to use the high-level object interface to this instead; see
IO::Socket::Netlink.
$ rpmlint ./perl-Socket-Netlink*
perl-Socket-Netlink.x86_64: E: incorrect-fsf-address
/usr/share/doc/perl-Socket-Netlink-0.03/LICENSE
3 packages and 1 specfiles checked; 1 errors, 0 warnings.
I opened an upstream bug about the incorrect FSF address:
https://rt.cpan.org/Public/Bug/Display.html?id=70980
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: apf - Adventure PHP Framework
https://bugzilla.redhat.com/show_bug.cgi?id=734248
Summary: Review Request: apf - Adventure PHP Framework
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: reiner(a)rottmann.it
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Spec URL:
http://www.rottmann.it/apf/review/apf.spechttp://www.rottmann.it/apf/review/apf-doc.spec
SRPM URL:
http://www.rottmann.it/apf/review/apf-1.13-1.fc15.src.rpmhttp://www.rottmann.it/apf/review/apf-doc-1.13-1.fc15.src.rpm
Description:
I've just created my first rpm for submission to Fedora Extra. And I would
appreciate a review to get some feedback and hints how I may improve my
packaging.
I have selected the Adventure PHP Framework because this project has been
started by a good friend of mine and so I'm double motivated in maintaining it.
The adventure php framework (http://adventure-php-framework.org) understands
itself as a utility to implement object oriented and generic PHP web
applications. It supports the developer to create programs in compliance with
approved software design pattern and the code base already has answers to many
everyday problems. The framework cannot be described as an application, that
only has to be configured, but rather as a technical basis and design guide for
the design of software.
The apf-1.13-1.fc15.src.rpm comes with an example implementation so that the
user may start using the framework right away.
The apf-doc-1.13-1.fc15.src.rpm includes the complete API documentation.
--
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.
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: perl-Encode-IMAPUTF7 - Perl extension to deal with UTF-7 modification for IMAP
https://bugzilla.redhat.com/show_bug.cgi?id=772620
Summary: Review Request: perl-Encode-IMAPUTF7 - Perl extension
to deal with UTF-7 modification for IMAP
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: kanarip(a)kanarip.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Regression: ---
Mount Type: ---
Documentation: ---
Spec URL: http://hosted.kolabsys.com/~vanmeeuwen/perl-Encode-IMAPUTF7.spec
SRPM URL:
http://hosted.kolabsys.com/~vanmeeuwen/perl-Encode-IMAPUTF7-1.05-1.fc17.src…
Description:
IMAP mailbox names are encoded in a modified UTF-7 when names contains
international characters outside of the printable ASCII range. The
modified UTF-7 encoding is defined in RFC2060 (section 5.1.3).
Remark: Necessary for Cyrus IMAP test suite Cassandane
--
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.