https://bugzilla.redhat.com/show_bug.cgi?id=1981739
Bug ID: 1981739
Summary: Review Request: klee - Symbolic execution engine
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Assignee: nobody(a)fedoraproject.org
Reporter: lzaoral(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-ra...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-ra...
Description: Symbolic virtual machine built on top of the LLVM compiler
infrastructure
Fedora Account System Username: lzaoral
Koji build: https://koji.fedoraproject.org/koji/taskinfo?taskID=71817839
KLEE is only supported on x86_64. Therefore, it fails to build on 32 bit
architectures. On the other hand, remaining 64 bit architectures compile fine
but the enclosed test suite fails.
Even though I'm not an upstream developer of KLEE, I've contributed some fairly
important improvements such as support for releases of LLVM.
Also, this is my first package so I'm looking for a sponsor.
--
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=1988685
Bug ID: 1988685
Summary: Review Request: mingw-qt6-qtbase - Qt6 for Windows -
QtBase component
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: manisandro(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://smani.fedorapeople.org/review/mingw-qt6-qtbase.spec
SRPM URL:
https://smani.fedorapeople.org/review/mingw-qt6-qtbase-6.1.1-1.fc35.src.rpm
Description: Qt6 for Windows - QtBase component
Fedora Account System Username:
--
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=1988701
Bug ID: 1988701
Summary: Review Request: mingw-python-ephem - MinGW Windows
Python pyephem
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: manisandro(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://smani.fedorapeople.org/review/mingw-python-ephem.spec
SRPM URL:
https://smani.fedorapeople.org/review/mingw-python-pyephem-4.0.0.2-1.fc35...
Description: MinGW Windows Python pyephem
Fedora Account System Username: smani
--
You are receiving this mail because:
You are always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=1982432
Bug ID: 1982432
Summary: Review Request: azure-mgmt-azurestackhci - Microsoft
Azure AzureStack HCI Management Client Library for
Python
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: mhayden(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
Description: Microsoft Azure AzureStack HCI Management Client Library for
Python
Fedora Account System Username: mhayden
--
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=1981573
Bug ID: 1981573
Summary: Review Request: azure-appconfiguration - Microsoft App
Configuration Data Library for Python
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: mhayden(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
Description: Microsoft App Configuration Data Library for Python
Fedora Account System Username: mhayden
--
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=1982435
Bug ID: 1982435
Summary: Review Request: azure-mgmt-hybridcompute - Microsoft
Azure Hybrid Compute Management Client Library for
Python
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: mhayden(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
Description: Microsoft Azure Hybrid Compute Management Client Library for
Python
Fedora Account System Username: mhayden
--
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=1981574
Bug ID: 1981574
Summary: Review Request: azure-mgmt-applicationinsights -
Microsoft Azure Application Insights Management Client
Library for Python
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: mhayden(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/mhayden/azure-cli/fedo...
Description: Microsoft Azure Application Insights Management Client Library for
Python
Fedora Account System Username: mhayden
--
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=1982624
Bug ID: 1982624
Summary: Review Request: php-giggsey-locale - Locale functions
required by libphonenumber-for-php
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: ce(a)lcts.de
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/lcts/nextcloud/fedora-...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/lcts/nextcloud/fedora-...
Description: A library providing up to date CLDR. Primarily as a requirement of
libphonenumber-for-php.
Since this package is set up to use rpmautospec, rpmlint/fedora-review will
complain about missing dist tags & macros in changelog. These are spurious
errors/warnings.
If you run phpcompatinfo for testing, you'll need to increase the default php
memory limit.
This package is available from the lcts/nextcloud Copr, so you can also test it
using 'fedora-review --copr-build 2329598'
Fedora Account System Username: lcts
--
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=1985637
Bug ID: 1985637
Summary: Review Request: perl-Regexp-Pattern-DefHash - Regexp
patterns related to DefHash
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: manisandro(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://smani.fedorapeople.org/review/perl-Regexp-Pattern-DefHash.spec
SRPM URL:
https://smani.fedorapeople.org/review/perl-Regexp-Pattern-DefHash-0.001-1...
Description: Regexp patterns related to DefHash
Fedora Account System Username: smani
--
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=1982635
Bug ID: 1982635
Summary: Review Request: php-league-uri-interfaces - Common
interface for URI representation
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: ce(a)lcts.de
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/lcts/nextcloud/fedora-...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/lcts/nextcloud/fedora-...
Description: Package containing an interface to represents URI objects
according to RFC 3986.
Since this package is set up to use rpmautospec, rpmlint/fedora-review will
complain about missing dist tags & macros in changelog. These are spurious
errors/warnings.
This package is available from the lcts/nextcloud Copr, so you can also test it
using 'fedora-review --copr-build 2329596'
Fedora Account System Username: lcts
--
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