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.0.0
Date: Fri, 24 Jul 2026 20:53:10 GMT
Message-ID: <178492639070.1.15606312596794418821.rpms-opam-19408111346f@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/opam
X-Git-Branch: rawhide
X-Git-Rev: 19408111346fd07b31d44359831f80318f106292

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvb3BhbQpCcmFuY2gg
OiByYXdoaWRlCkNvbW1pdCA6IDE5NDA4MTExMzQ2ZmQwN2IzMWQ0NDM1OTgzMWY4MDMxOGYxMDYy
OTIKQXV0aG9yIDogSmVycnkgSmFtZXMgPGxvZ2FuamVycnlAZ21haWwuY29tPgpEYXRlICAgOiAy
MDI2LTA3LTI0VDE0OjUyOjQ2LTA2OjAwClN0YXRzICA6ICswLy0wIGluIDAgZmlsZShzKQpVUkwg
ICAgOiBodHRwczovL3NyYy5mZWRvcmFwcm9qZWN0Lm9yZy9ycG1zL29wYW0vYy8xOTQwODExMTM0
NmZkMDdiMzFkNDQzNTk4MzFmODAzMThmMTA2MjkyP2JyYW5jaD1yYXdoaWRlCgpMb2c6ClJlYnVp
bGQgZm9yIHozIDUuMC4wCg==