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/yices] f45: Rebuild for cryptominisat 5.16.0
Date: Fri, 25 Sep 2026 21:30:09 GMT
Message-ID: <179037180989.1.1080766849149169629.rpms-yices-a28dd0f473b5@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/yices
X-Git-Branch: f45
X-Git-Rev: a28dd0f473b591d71460ecceddf52434d8da030c

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMveWljZXMKQnJhbmNo
IDogZjQ1CkNvbW1pdCA6IGEyOGRkMGY0NzNiNTkxZDcxNDYwZWNjZWRkZjUyNDM0ZDhkYTAzMGMK
QXV0aG9yIDogSmVycnkgSmFtZXMgPGxvZ2FuamVycnlAZ21haWwuY29tPgpEYXRlICAgOiAyMDI2
LTA5LTI1VDE0OjEwOjQxLTA2OjAwClN0YXRzICA6ICswLy0wIGluIDAgZmlsZShzKQpVUkwgICAg
OiBodHRwczovL3NyYy5mZWRvcmFwcm9qZWN0Lm9yZy9ycG1zL3lpY2VzL2MvYTI4ZGQwZjQ3M2I1
OTFkNzE0NjBlY2NlZGRmNTI0MzRkOGRhMDMwYz9icmFuY2g9ZjQ1CgpMb2c6ClJlYnVpbGQgZm9y
IGNyeXB0b21pbmlzYXQgNS4xNi4wCg==