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/why3] rawhide: Rebuild for rocq 9.3.0
Date: Sun, 27 Sep 2026 04:03:35 GMT
Message-ID: <179048181552.1.4450661765225593487.rpms-why3-2eb4c29974d9@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/why3
X-Git-Branch: rawhide
X-Git-Rev: 2eb4c29974d905a85592955393009e18605935a5

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvd2h5MwpCcmFuY2gg
OiByYXdoaWRlCkNvbW1pdCA6IDJlYjRjMjk5NzRkOTA1YTg1NTkyOTU1MzkzMDA5ZTE4NjA1OTM1
YTUKQXV0aG9yIDogSmVycnkgSmFtZXMgPGxvZ2FuamVycnlAZ21haWwuY29tPgpEYXRlICAgOiAy
MDI2LTA5LTI2VDIyOjAzOjI0LTA2OjAwClN0YXRzICA6ICswLy0wIGluIDAgZmlsZShzKQpVUkwg
ICAgOiBodHRwczovL3NyYy5mZWRvcmFwcm9qZWN0Lm9yZy9ycG1zL3doeTMvYy8yZWI0YzI5OTc0
ZDkwNWE4NTU5Mjk1NTM5MzAwOWUxODYwNTkzNWE1P2JyYW5jaD1yYXdoaWRlCgpMb2c6ClJlYnVp
bGQgZm9yIHJvY3EgOS4zLjAK