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.
https://bugzilla.redhat.com/show_bug.cgi?id=1051152
Bug ID: 1051152
Summary: Review Request: python-qt5 - Python bindings for Qt5
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: rdieter(a)math.unl.edu
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL: http://rdieter.fedorapeople.org/rpms/qt5/python-qt5.spec
SRPM URL:
http://rdieter.fedorapeople.org/rpms/qt5/python-qt5-5.2-1.fc20.src.rpm
Description: Python bindings for Qt5
Fedora Account System Username: rdieter
--
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
https://bugzilla.redhat.com/show_bug.cgi?id=1020456
Bug ID: 1020456
Summary: Review Request: vagrant - an automation tool used to
manage development environments
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: adrahon(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Spec URL: http://srpms.adrahon.org/vagrant.spec
SRPM URL: http://srpms.adrahon.org/vagrant-1.3.3-1.fc20.src.rpm
Description:
Vagrant is an automation tool used to manage development environments using
virtualization and configuration management tools. It allows developers and
teams to work on their projects and test them in an environment similar to
production. Historically, Vagrant had a dependency on VirtualBox, but the newer
versions have a plugin system allowing it to work with other virtualization
technologies, including KVM.
https://fedoraproject.org/wiki/Changes/Vagrant
Fedora Account System Username: adrahon
--
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.
https://bugzilla.redhat.com/show_bug.cgi?id=1055480
Bug ID: 1055480
Summary: epel7 branch for perl-Want
Product: Fedora EPEL
Version: epel7
Component: Package Review
Assignee: lkundrak(a)v3.sk
Reporter: lkundrak(a)v3.sk
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Flags: fedora-cvs?
Package Change Request
======================
Package Name: perl-Want
New Branches: epel7
Owners: lkundrak laxathom
The Fedora maintainer (Ralf Corsepius, corsepiu) is not willing to maintain
EPEL packages.
--
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
https://bugzilla.redhat.com/show_bug.cgi?id=1103917
Bug ID: 1103917
Summary: Review Request: python-cornice - Define Web Services
in Pyramid
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: bochecha(a)fedoraproject.org
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL: http://bochecha.fedorapeople.org/packages/python-cornice.spec
SRPM URL:
http://bochecha.fedorapeople.org/packages/python-cornice-0.16.2-1.fc20.src.…
Description:
Define Web Services in Pyramid
Fedora Account System Username: bochecha
--
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
https://bugzilla.redhat.com/show_bug.cgi?id=1108914
Bug ID: 1108914
Summary: Review Request: python-simplejson3 - Simple, fast,
extensible JSON encoder/decoder for Python
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: bochecha(a)fedoraproject.org
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL: http://bochecha.fedorapeople.org/packages/python-simplejson3.spec
SRPM URL:
http://bochecha.fedorapeople.org/packages/python-simplejson3-3.5.2-1.el6.sr…
Description:
simplejson is a simple, fast, complete, correct and extensible JSON
<http://json.org> encoder and decoder for Python 2.5+. It is pure Python code
with no dependencies, but includes an optional C extension for a serious speed
boost.
The encoder may be subclassed to provide serialization in any kind of
situation, without any special support by the objects to be serialized
(somewhat like pickle).
The decoder can handle incoming JSON strings of any specified encoding (UTF-8
by default).
simplejson is the externally maintained development version of the json library
included with Python 2.6 and Python 3.0, but maintains backwards compatibility
with Python 2.5. It gets updated more regularly than the json module in the
python stdlib.
Fedora Account System Username: bochecha
----------
Note that this is intended only for EPEL 6, as RHEL includes python-simplejson
in a version which is too old for python-cornice (needed for Bodhi 2)
--
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