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: Richard W.M. Jones <rjones@redhat.com>
To: git-commits@fedoraproject.org
Subject: [rpms/gappalib-coq] f45: OCaml 5.5.1 rebuild
Date: Thu, 24 Sep 2026 14:39:39 GMT
Message-ID: <179026077979.1.8688733490269180543.rpms-gappalib-coq-483568c23d17@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/gappalib-coq
X-Git-Branch: f45
X-Git-Rev: 483568c23d170ade91797b4683576c1d3f6216db

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvZ2FwcGFsaWItY29x
CkJyYW5jaCA6IGY0NQpDb21taXQgOiA0ODM1NjhjMjNkMTcwYWRlOTE3OTdiNDY4MzU3NmMxZDNm
NjIxNmRiCkF1dGhvciA6IFJpY2hhcmQgVy5NLiBKb25lcyA8cmpvbmVzQHJlZGhhdC5jb20+CkRh
dGUgICA6IDIwMjYtMDktMTVUMjE6MzA6MzUrMDE6MDAKU3RhdHMgIDogKzAvLTAgaW4gMCBmaWxl
KHMpClVSTCAgICA6IGh0dHBzOi8vc3JjLmZlZG9yYXByb2plY3Qub3JnL3JwbXMvZ2FwcGFsaWIt
Y29xL2MvNDgzNTY4YzIzZDE3MGFkZTkxNzk3YjQ2ODM1NzZjMWQzZjYyMTZkYj9icmFuY2g9ZjQ1
CgpMb2c6Ck9DYW1sIDUuNS4xIHJlYnVpbGQK