[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 Jerry James changed: What|Removed |Added Status|ASSIGNED|CLOSED Resolution|---

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 --- Comment #7 from Mohan Boddu --- (fedscm-admin): The Pagure repository was created at https://src.fedoraproject.org/rpms/drabt -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 --- Comment #6 from Jerry James --- (In reply to Mukundan Ragavan from comment #4) > There seems to be lots of example files present in the tarball. See if it > makes sense to include those as a -doc subpackage. Okay, I will take a look.

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 --- Comment #5 from Mukundan Ragavan --- I also see that the other three packages have already been reviewed. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 Mukundan Ragavan changed: What|Removed |Added Flags|fedora-review? |fedora-review+ --- Comment #4

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 --- Comment #3 from Mukundan Ragavan --- Package Review == Legend: [x] = Pass, [!] = Fail, [-] = Not applicable, [?] = Not evaluated [ ] = Manual review needed Issues: === - Header files in -devel subpackage, if present.

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 Mukundan Ragavan changed: What|Removed |Added Status|NEW |ASSIGNED Flags|

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 --- Comment #2 from Jerry James --- (In reply to Mukundan Ragavan from comment #1) > Can you review this in return? Absolutely! Thank you. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 Mukundan Ragavan changed: What|Removed |Added Assignee|nob...@fedoraproject.org|nonamed...@gmail.com -- You are

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 Mukundan Ragavan changed: What|Removed |Added CC||nonamed...@gmail.com --- Comment

[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format

https://bugzilla.redhat.com/show_bug.cgi?id=1599011 Jerry James changed: What|Removed |Added Blocks||1599012 Referenced Bugs: