October 2012 - package-review - Fedora Mailing-Lists

[Bug 769958] New: Review Request: eqp - Automated theorem prover for first-order equational logic

by Red Hat Bugzilla

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.

7 years, 1 month

2
28
0 / 0

[Bug 865371] New: Review Request : SciD is a collection of numerical routines using Blas/Lapack

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=865371 Bug ID: 865371 QA Contact: extras-qa(a)fedoraproject.org Severity: unspecified Version: rawhide Priority: unspecified CC: notting(a)redhat.com, package-review(a)lists.fedoraproject.org Assignee: nobody(a)fedoraproject.org Summary: Review Request : SciD is a collection of numerical routines using Blas/Lapack Regression: --- Story Points: --- Classification: Fedora OS: Unspecified Reporter: bioinfornatics(a)gmail.com Type: Bug Documentation: --- Hardware: Unspecified Mount Type: --- Status: NEW Component: Package Review Product: Fedora SRPMS: http://bioinfornatics.fedorapeople.org/scid-1-0.20120429git51236f3.fc17.1... SPEC: http://bioinfornatics.fedorapeople.org/scid.spec Build: http://koji.fedoraproject.org/koji/taskinfo?taskID=4581148 -- You are receiving this mail because: You are on the CC list for the bug.

7 years, 1 month

2
24
0 / 0

[Bug 757657] New: Review Request: perl-Wx-Scintilla - Scintilla source code editing component for wxWidgets

by Red Hat Bugzilla

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... -- 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.

7 years, 1 month

2
12
0 / 0

[Bug 807432] New: Review Request: python-tate-bilinear-pairing - A Python 2/3 library for calculating Tate bilinear pairing

by Red Hat Bugzilla

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-tate-bilinear-pairing - A Python 2/3 library for calculating Tate bilinear pairing https://bugzilla.redhat.com/show_bug.cgi?id=807432 Summary: Review Request: python-tate-bilinear-pairing - A Python 2/3 library for calculating Tate bilinear pairing Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: unspecified Component: Package Review AssignedTo: nobody(a)fedoraproject.org ReportedBy: philip.worrall(a)googlemail.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: --- Hello, I have packaged up the python take bilinear pairing library. Spec URL: http://www.freefilehosting.net/python-tate-bilinear-pairing SRPM URL: http://www.freefilehosting.net/python-tate-bilinear-pairing-023-1fc15src Description: This package is a Python 2 library for calculating Tate bilinear pairing, especially on super-singular elliptic curve $E:y^2=x^3-x+1$ in affine coordinates defined over a Galois Field $GF(3^m)$. This is a package in response to https://bugzilla.redhat.com/show_bug.cgi?id=796640. Regards, Phil -- 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.

7 years, 1 month

2
19
0 / 0

[Bug 720818] New: Review Request: python-tw2 - Web widget creation toolkit based on TurboGears widgets

by Red Hat Bugzilla

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.

7 years, 2 months

2
31
0 / 0

[Bug 821727] New: Review Request: dolfin - the C++/Python interface of FEniCS

by Red Hat Bugzilla

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: dolfin - the C++/Python interface of FEniCS https://bugzilla.redhat.com/show_bug.cgi?id=821727 Summary: Review Request: dolfin - the C++/Python interface of FEniCS 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://jgu.fedorapeople.org/dolfin.spec SRPM URL: http://jgu.fedorapeople.org/dolfin-1.0.0-0.1.el6.src.rpm Description: DOLFIN is the C++/Python interface of FEniCS, providing a consistent PSE (Problem Solving Environment) for ordinary and partial differential equations. -- 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.

7 years, 2 months

2
22
0 / 0

[Bug 820660] New: Review Request: FEniCS - tracker bug

by Red Hat Bugzilla

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: FEniCS - tracker bug https://bugzilla.redhat.com/show_bug.cgi?id=820660 Summary: Review Request: FEniCS - tracker bug 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: --- This is a review tracker bug for the various packages that comprise FEniCS. The FEniCS Project is a collection of free software with an extensive list of features for automated, efficient solution of differential equations. -- 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.

7 years, 2 months

2
28
0 / 0

[Bug 787414] New: Review Request: gfsview - A visualizer for Gerris simulations

by Red Hat Bugzilla

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: gfsview - A visualizer for Gerris simulations https://bugzilla.redhat.com/show_bug.cgi?id=787414 Summary: Review Request: gfsview - A visualizer for Gerris simulations 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/gfsview-0-0.4.20111003.el6.src.rpm Description: GfsView displays the results of 2D and 3D Gerris simulations. A brief summary of its main features: * Scalar and vector cross-sections. * Isosurfaces. * Streamlines. * User-defined functions. * Fast adaptive display (using the multiresolution data representation of Gerris). * Scriptable. * Offline image generation. * Quality PostScript, PDF and bitmap outputs. See http://gfs.sf.net for more information and documentation. gfsview depends upon gerris, which is submitted for review as BZ 766883 -- 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.

7 years, 2 months

2
7
0 / 0

[Bug 841266] New: Review Request: plink - whole genome association analysis toolset

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=841266 Bug ID: 841266 QA Contact: extras-qa(a)fedoraproject.org Severity: medium Version: rawhide Priority: medium CC: notting(a)redhat.com, package-review(a)lists.fedoraproject.org Assignee: nobody(a)fedoraproject.org Summary: Review Request: plink - whole genome association analysis toolset Regression: --- Story Points: --- Classification: Fedora OS: Linux Reporter: rayandkate.rp(a)gmail.com Type: --- Documentation: --- Hardware: All Mount Type: --- Status: NEW Component: Package Review Product: Fedora Spec URL: www.iski.tv/plink.spec SRPM URL: www.iski.tv/plink-1.07-1.fc17.src.rpm Description: whole genome association analysis toolset, designed to perform a range of basic, large-scale analyses in a computationally efficient manner. Fedora Account System Username: raymondpete -- You are receiving this mail because: You are on the CC list for the bug.

7 years, 2 months

2
28
0 / 0

[Bug 830869] New: Review Request: hpl - A Portable Implementation of the High-Performance Linpack Benchmark

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=830869 Bug ID: 830869 QA Contact: extras-qa(a)fedoraproject.org Severity: medium Version: rawhide Priority: medium CC: notting(a)redhat.com, package-review(a)lists.fedoraproject.org Assignee: nobody(a)fedoraproject.org Summary: Review Request: hpl - A Portable Implementation of the High-Performance Linpack Benchmark Regression: --- Story Points: --- Classification: Fedora OS: Linux Reporter: jskarvad(a)redhat.com Type: --- Documentation: --- Hardware: All Mount Type: --- Status: NEW Component: Package Review Product: Fedora Spec URL: http://jskarvad.fedorapeople.org/hpl/hpl.spec SRPM URL: http://jskarvad.fedorapeople.org/hpl/hpl-2.0-1.fc18.src.rpm Description: HPL is a software package that solves a (random) dense linear system in double precision (64 bits) arithmetic on distributed-memory computers. It can thus be regarded as a portable as well as freely available implementation of the High Performance Computing Linpack Benchmark. Fedora Account System Username: jskarvad -- You are receiving this mail because: You are on the CC list for the bug.

7 years, 2 months

2
50
0 / 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

package-review October 2012