From mboxrd@z Thu Jan  1 00:00:00 1970
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
From: Python Maint <python-maint@redhat.com>
To: git-commits@fedoraproject.org
Subject: [rpms/cvc5] rawhide: Rebuilt for Python 3.15.0b4 ABI change
Date: Wed, 22 Jul 2026 08:56:52 GMT
Message-ID: <178471061230.1.16607889580928321492.rpms-cvc5-fe7f6a1def8b@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/cvc5
X-Git-Branch: rawhide
X-Git-Rev: fe7f6a1def8b8947a740aa03bfe884b9d22530e4

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvY3ZjNQpCcmFuY2gg
OiByYXdoaWRlCkNvbW1pdCA6IGZlN2Y2YTFkZWY4Yjg5NDdhNzQwYWEwM2JmZTg4NGI5ZDIyNTMw
ZTQKQXV0aG9yIDogUHl0aG9uIE1haW50IDxweXRob24tbWFpbnRAcmVkaGF0LmNvbT4KRGF0ZSAg
IDogMjAyNi0wNy0yMlQxMDo1Njo0MyswMjowMApTdGF0cyAgOiArMC8tMCBpbiAwIGZpbGUocykK
VVJMICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy9jdmM1L2MvZmU3ZjZh
MWRlZjhiODk0N2E3NDBhYTAzYmZlODg0YjlkMjI1MzBlND9icmFuY2g9cmF3aGlkZQoKTG9nOgpS
ZWJ1aWx0IGZvciBQeXRob24gMy4xNS4wYjQgQUJJIGNoYW5nZQo=