package-review May 2012

package-review@lists.fedoraproject.org

1 participants
1267 discussions

[Bug 654151] Review Request: sizzle - JavaScript CSS selector engine
by Red Hat Bugzilla 01 May '12

01 May '12

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=654151 Jason Tibbitts <tibbs(a)math.uh.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|fedora-package-review@redha |package-review(a)lists.fedora |t.com |project.org Status Whiteboard| |AwaitingSubmitter -- 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.

1 0

[Bug 651990] Review Request: Prahita Masterpiece Uni Sans font - Myanmar TrueType font
by Red Hat Bugzilla 01 May '12

01 May '12

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=651990 Jason Tibbitts <tibbs(a)math.uh.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|fedora-package-review@redha |package-review(a)lists.fedora |t.com |project.org Status Whiteboard| |AwaitingSubmitter -- 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.

1 0

[Bug 650767] Review Request: aiki - A CMS Creator Web Application
by Red Hat Bugzilla 01 May '12

01 May '12

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=650767 Jason Tibbitts <tibbs(a)math.uh.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|fedora-package-review@redha |package-review(a)lists.fedora |t.com |project.org Status Whiteboard| |AwaitingSubmitter -- 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.

1 0

[Bug 632856] Review Request: xinput_calibrator - A generic touchscreen calibration program for X.Org
by Red Hat Bugzilla 01 May '12

01 May '12

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=632856 Jason Tibbitts <tibbs(a)math.uh.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|fedora-package-review@redha |package-review(a)lists.fedora |t.com |project.org -- 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.

1 0

[Bug 619437] Review Request: bm - Rpm package building helper
by Red Hat Bugzilla 01 May '12

01 May '12

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=619437 Jason Tibbitts <tibbs(a)math.uh.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|fedora-package-review@redha |package-review(a)lists.fedora |t.com |project.org -- 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.

1 0

[Bug 605290] Review Request: transmageddon - A video transcoder built using GStreamer
by Red Hat Bugzilla 01 May '12

01 May '12

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=605290 Jason Tibbitts <tibbs(a)math.uh.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|fedora-package-review@redha |package-review(a)lists.fedora |t.com |project.org -- 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.

1 0

[Bug 768538] New: Review Request: why3 - Software verification platform
by Red Hat Bugzilla 30 Apr '12

30 Apr '12

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: why3 - Software verification platform https://bugzilla.redhat.com/show_bug.cgi?id=768538 Summary: Review Request: why3 - Software verification platform Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody(a)fedoraproject.org ReportedBy: loganjerry(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://jjames.fedorapeople.org/why3/why3.spec SRPM URL: http://jjames.fedorapeople.org/why3/why3-0.71-1.fc16.src.rpm Description: Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. Fedora note: while why3 is the eventual successor to the existing why package, right now both are needed. The current version of why can be used by itself, but if why3 is also installed, some of its more powerful reasoning features can be used. On the flip side, why3 isn't yet complete. Upstream recommends that the two versions be used side by side for now. -- 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.

1 13

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

package-review May 2012