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] rawhide: OCaml 5.5.1 rebuild
Date: Tue, 15 Sep 2026 20:30:41 GMT
Message-ID: <178950424116.1.17848046643534701357.rpms-gappalib-coq-483568c23d17@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/gappalib-coq
X-Git-Branch: rawhide
X-Git-Rev: 483568c23d170ade91797b4683576c1d3f6216db

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvZ2FwcGFsaWItY29x
CkJyYW5jaCA6IHJhd2hpZGUKQ29tbWl0IDogNDgzNTY4YzIzZDE3MGFkZTkxNzk3YjQ2ODM1NzZj
MWQzZjYyMTZkYgpBdXRob3IgOiBSaWNoYXJkIFcuTS4gSm9uZXMgPHJqb25lc0ByZWRoYXQuY29t
PgpEYXRlICAgOiAyMDI2LTA5LTE1VDIxOjMwOjM1KzAxOjAwClN0YXRzICA6ICswLy0wIGluIDAg
ZmlsZShzKQpVUkwgICAgOiBodHRwczovL3NyYy5mZWRvcmFwcm9qZWN0Lm9yZy9ycG1zL2dhcHBh
bGliLWNvcS9jLzQ4MzU2OGMyM2QxNzBhZGU5MTc5N2I0NjgzNTc2YzFkM2Y2MjE2ZGI/YnJhbmNo
PXJhd2hpZGUKCkxvZzoKT0NhbWwgNS41LjEgcmVidWlsZAo=