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: Jerry James <loganjerry@gmail.com>
To: git-commits@fedoraproject.org
Subject: [rpms/zenon] rawhide: Rebuild to fix rocq dependencies
Date: Wed, 29 Jul 2026 18:08:01 GMT
Message-ID: <178534848122.1.9103501264394670038.rpms-zenon-89d4ce2b46ab@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/zenon
X-Git-Branch: rawhide
X-Git-Rev: 89d4ce2b46abd5ecae0cf7347256acd9ac5c52a9

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvemVub24KQnJhbmNo
IDogcmF3aGlkZQpDb21taXQgOiA4OWQ0Y2UyYjQ2YWJkNWVjYWUwY2Y3MzQ3MjU2YWNkOWFjNWM1
MmE5CkF1dGhvciA6IEplcnJ5IEphbWVzIDxsb2dhbmplcnJ5QGdtYWlsLmNvbT4KRGF0ZSAgIDog
MjAyNi0wNy0yOVQxMjowNzo1MC0wNjowMApTdGF0cyAgOiArNC8tMSBpbiAxIGZpbGUocykKVVJM
ICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy96ZW5vbi9jLzg5ZDRjZTJi
NDZhYmQ1ZWNhZTBjZjczNDcyNTZhY2Q5YWM1YzUyYTk/YnJhbmNoPXJhd2hpZGUKCkxvZzoKUmVi
dWlsZCB0byBmaXggcm9jcSBkZXBlbmRlbmNpZXMKCi0tLQpkaWZmIC0tZ2l0IGEvemVub24uc3Bl
YyBiL3plbm9uLnNwZWMKaW5kZXggN2Y1ZmU4Yi4uYjIwOGQ3MSAxMDA2NDQKLS0tIGEvemVub24u
c3BlYworKysgYi96ZW5vbi5zcGVjCkBAIC00LDcgKzQsNyBAQAogCiBOYW1lOgkJemVub24KIFZl
cnNpb246CTAuOC41Ci1SZWxlYXNlOgk0MiV7P2Rpc3R9CitSZWxlYXNlOgk0MyV7P2Rpc3R9CiBT
dW1tYXJ5OglBdXRvbWF0ZWQgdGhlb3JlbSBwcm92ZXIgZm9yIGZpcnN0LW9yZGVyIGNsYXNzaWNh
bCBsb2dpYwogTGljZW5zZToJQlNELTMtQ2xhdXNlCiBVUkw6CQlodHRwOi8vemVub24tcHJvdmVy
Lm9yZy8KQEAgLTkyLDYgKzkyLDkgQEAgZmkKICV7X21hbmRpcn0vbWFuNS96ZW5vbi1mb3JtYXQu
NSoKIAogJWNoYW5nZWxvZworKiBXZWQgSnVsIDI5IDIwMjYgSmVycnkgSmFtZXMgPGxvZ2FuamVy
cnlAZ21haWwuY29tPiAtIDAuOC41LTQzCistIFJlYnVpbGQgdG8gZml4IHJvY3EgZGVwZW5kZW5j
aWVzCisKICogRnJpIEp1bCAxNyAyMDI2IEZlZG9yYSBSZWxlYXNlIEVuZ2luZWVyaW5nIDxyZWxl
bmdAZmVkb3JhcHJvamVjdC5vcmc+IC0gMC44LjUtNDIKIC0gUmVidWlsdCBmb3IgaHR0cHM6Ly9m
ZWRvcmFwcm9qZWN0Lm9yZy93aWtpL0ZlZG9yYV80NV9NYXNzX1JlYnVpbGQKIAo=