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/opam] rawhide: Rebuild for z3 5.1.0
Date: Sat, 22 Aug 2026 15:11:11 GMT
Message-ID: <178741147198.1.2187515809065341883.rpms-opam-d23120cc671d@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/opam
X-Git-Branch: rawhide
X-Git-Rev: d23120cc671daac839aeb3af7262f6c6596697da

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvb3BhbQpCcmFuY2gg
OiByYXdoaWRlCkNvbW1pdCA6IGQyMzEyMGNjNjcxZGFhYzgzOWFlYjNhZjcyNjJmNmM2NTk2Njk3
ZGEKQXV0aG9yIDogSmVycnkgSmFtZXMgPGxvZ2FuamVycnlAZ21haWwuY29tPgpEYXRlICAgOiAy
MDI2LTA4LTIyVDA5OjEwOjQ2LTA2OjAwClN0YXRzICA6ICswLy0wIGluIDAgZmlsZShzKQpVUkwg
ICAgOiBodHRwczovL3NyYy5mZWRvcmFwcm9qZWN0Lm9yZy9ycG1zL29wYW0vYy9kMjMxMjBjYzY3
MWRhYWM4MzlhZWIzYWY3MjYyZjZjNjU5NjY5N2RhP2JyYW5jaD1yYXdoaWRlCgpMb2c6ClJlYnVp
bGQgZm9yIHozIDUuMS4wCg==