[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #12 from Fedora Update System upda...@fedoraproject.org 2011-11-10 10:59:12 EST --- gappalib-coq-0.16.0-3.fc16 has

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 Jerry James loganje...@gmail.com changed: What|Removed |Added

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #11 from Jon Ciesla l...@jcomserv.net 2011-11-02 21:29:06 EDT --- Git done (by process-git-requests). -- Configure

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 Markus Mayer lotharl...@gmx.de changed: What|Removed |Added

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #5 from Markus Mayer lotharl...@gmx.de 2011-10-31 07:28:43 EDT --- Must items: OK: rpmlint must be run on the

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #6 from Jerry James loganje...@gmail.com 2011-10-31 13:55:50 EDT --- Thanks for the review! (In reply to comment

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #7 from Markus Mayer lotharl...@gmx.de 2011-10-31 14:16:11 EDT --- (In reply to comment #6) Thanks for the review!

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #8 from Jerry James loganje...@gmail.com 2011-10-31 18:29:22 EDT --- (In reply to comment #7) emacs-foo-el

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 Markus Mayer lotharl...@gmx.de changed: What|Removed |Added

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #3 from Markus Mayer lotharl...@gmx.de 2011-10-29 06:21:35 EDT --- Unfortunatelly am not able to build you package:

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #4 from Jerry James loganje...@gmail.com 2011-10-29 19:04:13 EDT --- (In reply to comment #3) Unfortunatelly am

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 --- Comment #1 from Jerry James loganje...@gmail.com 2011-10-26 17:55:03 EDT --- I have split out a -devel subpackage as was

[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=719152 Jerry James loganje...@gmail.com changed: What|Removed |Added