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/gappalib-coq] rawhide: Rebuild to fix rocq dependencies
Date: Wed, 29 Jul 2026 17:57:27 GMT
Message-ID: <178534784759.1.518211368310886090.rpms-gappalib-coq-c4f7c63bbef6@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/gappalib-coq
X-Git-Branch: rawhide
X-Git-Rev: c4f7c63bbef6111003219612b5a12b557b872707

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvZ2FwcGFsaWItY29x
CkJyYW5jaCA6IHJhd2hpZGUKQ29tbWl0IDogYzRmN2M2M2JiZWY2MTExMDAzMjE5NjEyYjVhMTJi
NTU3Yjg3MjcwNwpBdXRob3IgOiBKZXJyeSBKYW1lcyA8bG9nYW5qZXJyeUBnbWFpbC5jb20+CkRh
dGUgICA6IDIwMjYtMDctMjlUMTE6NTc6MTYtMDY6MDAKU3RhdHMgIDogKzAvLTAgaW4gMCBmaWxl
KHMpClVSTCAgICA6IGh0dHBzOi8vc3JjLmZlZG9yYXByb2plY3Qub3JnL3JwbXMvZ2FwcGFsaWIt
Y29xL2MvYzRmN2M2M2JiZWY2MTExMDAzMjE5NjEyYjVhMTJiNTU3Yjg3MjcwNz9icmFuY2g9cmF3
aGlkZQoKTG9nOgpSZWJ1aWxkIHRvIGZpeCByb2NxIGRlcGVuZGVuY2llcwo=