[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 Fabian Affolter changed: What|Removed |Added Status|ASSIGNED|CLOSED Resolution|---

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 --- Comment #10 from Gwyn Ciesla --- (fedscm-admin): The Pagure repository was created at https://src.fedoraproject.org/rpms/python-claripy -- You are receiving this mail because: You are on the CC list for the bug. You are always notified

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 --- Comment #9 from Fabian Affolter --- Thanks for the review. -- 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 _

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 Mohamed El Morabity changed: What|Removed |Added Status|NEW |ASSIGNED Flags|fedor

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 --- Comment #7 from Fabian Affolter --- (In reply to Mohamed El Morabity from comment #6) > Version 8.20.6.1 is available ;) Updated > In the .spec file: > > # Remove installation requirement. Fedora is using a different name, see > > above

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 --- Comment #6 from Mohamed El Morabity --- Version 8.20.6.1 is available ;) In the .spec file: > # Remove installation requirement. Fedora is using a different name, see above > sed -i -e '19d' setup.py I understand the need to modify the se

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 Mohamed El Morabity changed: What|Removed |Added CC||pikachu.2...@gmail.com

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 --- Comment #5 from W. Michael Petullo --- The new revision installs fine on Fedora 32: # rpm -Uvh /tmp/python3-claripy-8.20.1.7-2.fc32.noarch.rpm Verifying... # [100%] Preparing...

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 --- Comment #4 from Fabian Affolter --- Sorry, I missed to make the new files available. %changelog * Mon May 18 2020 Fabian Affolter - 8.20.1.7-2 - Fix installation requirements (rhbz#1815670) Spec URL: https://fab.fedorapeople.org/package

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 W. Michael Petullo changed: What|Removed |Added Blocks||1839889 Referenced Bugs: http

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 --- Comment #3 from W. Michael Petullo --- I did not realize this existed before I created #1839886. I built and tried to install the package found here, but the install terminated with: # rpm -Uvh /tmp/python3-claripy-8.20.1.7-1.fc32.noarch

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 W. Michael Petullo changed: What|Removed |Added CC||m...@flyn.org --- Comment #2 fro

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 Bug 1815670 depends on bug 1808467, which changed state. Bug 1808467 Summary: Review Request: python-pysmt - Solver-agnostic library for SMT Formulae manipulation and solving https://bugzilla.redhat.com/show_bug.cgi?id=1808467 What

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 Robert-André Mauchin changed: What|Removed |Added CC||zebo...@gmail.com --- Comment

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 Fabian Affolter changed: What|Removed |Added Blocks||1817721 Referenced Bugs: https://

[Bug 1815670] Review Request: python-claripy - An abstraction layer for constraint solvers

https://bugzilla.redhat.com/show_bug.cgi?id=1815670 Fabian Affolter changed: What|Removed |Added Depends On||1808467 Doc Type|---