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 for rocq 9.3.0
Date: Sun, 27 Sep 2026 03:37:49 GMT
Message-ID: <179048026942.1.6532909629268897393.rpms-zenon-e0815cd8fa5e@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/zenon
X-Git-Branch: rawhide
X-Git-Rev: e0815cd8fa5efcbbd5c88e1fa27a09b54b1b79e7

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvemVub24KQnJhbmNo
IDogcmF3aGlkZQpDb21taXQgOiBlMDgxNWNkOGZhNWVmY2JiZDVjODhlMWZhMjdhMDliNTRiMWI3
OWU3CkF1dGhvciA6IEplcnJ5IEphbWVzIDxsb2dhbmplcnJ5QGdtYWlsLmNvbT4KRGF0ZSAgIDog
MjAyNi0wOS0yNlQyMTozNzo0MC0wNjowMApTdGF0cyAgOiArNS8tMiBpbiAxIGZpbGUocykKVVJM
ICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy96ZW5vbi9jL2UwODE1Y2Q4
ZmE1ZWZjYmJkNWM4OGUxZmEyN2EwOWI1NGIxYjc5ZTc/YnJhbmNoPXJhd2hpZGUKCkxvZzoKUmVi
dWlsZCBmb3Igcm9jcSA5LjMuMAoKLS0tCmRpZmYgLS1naXQgYS96ZW5vbi5zcGVjIGIvemVub24u
c3BlYwppbmRleCAwOWYyNDFhLi4xMjZjMDU5IDEwMDY0NAotLS0gYS96ZW5vbi5zcGVjCisrKyBi
L3plbm9uLnNwZWMKQEAgLTEsMTAgKzEsMTAgQEAKICVnbG9iYWwgZGVidWdfcGFja2FnZSAle25p
bH0KLSVnbG9iYWwgcm9jcXZlciA5LjIuMAorJWdsb2JhbCByb2NxdmVyIDkuMy4wCiAlZ2xvYmFs
IGdpdHVybCAgaHR0cHM6Ly9naXRodWIuY29tL3plbm9uLXByb3Zlci96ZW5vbgogCiBOYW1lOgkJ
emVub24KIFZlcnNpb246CTAuOC41Ci1SZWxlYXNlOgk0NCV7P2Rpc3R9CitSZWxlYXNlOgk0NSV7
P2Rpc3R9CiBTdW1tYXJ5OglBdXRvbWF0ZWQgdGhlb3JlbSBwcm92ZXIgZm9yIGZpcnN0LW9yZGVy
IGNsYXNzaWNhbCBsb2dpYwogTGljZW5zZToJQlNELTMtQ2xhdXNlCiBVUkw6CQlodHRwOi8vemVu
b24tcHJvdmVyLm9yZy8KQEAgLTkyLDYgKzkyLDkgQEAgZmkKICV7X21hbmRpcn0vbWFuNS96ZW5v
bi1mb3JtYXQuNSoKIAogJWNoYW5nZWxvZworKiBTYXQgU2VwIDI2IDIwMjYgSmVycnkgSmFtZXMg
PGxvZ2FuamVycnlAZ21haWwuY29tPiAtIDAuOC41LTQ1CistIFJlYnVpbGQgZm9yIHJvY3EgOS4z
LjAKKwogKiBUdWUgU2VwIDE1IDIwMjYgUmljaGFyZCBXLk0uIEpvbmVzIDxyam9uZXNAcmVkaGF0
LmNvbT4gLSAwLjguNS00NAogLSBPQ2FtbCA1LjUuMSByZWJ1aWxkCiAK