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

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMveWljZXMKQnJhbmNo
IDogcmF3aGlkZQpDb21taXQgOiBhMjhkZDBmNDczYjU5MWQ3MTQ2MGVjY2VkZGY1MjQzNGQ4ZGEw
MzBjCkF1dGhvciA6IEplcnJ5IEphbWVzIDxsb2dhbmplcnJ5QGdtYWlsLmNvbT4KRGF0ZSAgIDog
MjAyNi0wOS0yNVQxNDoxMDo0MS0wNjowMApTdGF0cyAgOiArMC8tMCBpbiAwIGZpbGUocykKVVJM
ICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy95aWNlcy9jL2EyOGRkMGY0
NzNiNTkxZDcxNDYwZWNjZWRkZjUyNDM0ZDhkYTAzMGM/YnJhbmNoPXJhd2hpZGUKCkxvZzoKUmVi
dWlsZCBmb3IgY3J5cHRvbWluaXNhdCA1LjE2LjAK