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
Date: Thu, 04 Jun 2026 07:30:34 GMT
Message-ID: <178055823473.1.11841033753454689766.rpms-cvc5-0dc4984dba20@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/cvc5
X-Git-Branch: rawhide
X-Git-Rev: 0dc4984dba20e5aabcf7c130eba929eb40c79e89

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvY3ZjNQpCcmFuY2gg
OiByYXdoaWRlCkNvbW1pdCA6IDBkYzQ5ODRkYmEyMGU1YWFiY2Y3YzEzMGViYTkyOWViNDBjNzll
ODkKQXV0aG9yIDogUHl0aG9uIE1haW50IDxweXRob24tbWFpbnRAcmVkaGF0LmNvbT4KRGF0ZSAg
IDogMjAyNi0wNi0wNFQwOTozMDoyNiswMjowMApTdGF0cyAgOiArMC8tMCBpbiAwIGZpbGUocykK
VVJMICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy9jdmM1L2MvMGRjNDk4
NGRiYTIwZTVhYWJjZjdjMTMwZWJhOTI5ZWI0MGM3OWU4OT9icmFuY2g9cmF3aGlkZQoKTG9nOgpS
ZWJ1aWx0IGZvciBQeXRob24gMy4xNQo=