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 To: git-commits@fedoraproject.org Subject: [rpms/flocq] rawhide: Rebuild for rocq 9.3.0 Date: Sun, 27 Sep 2026 03:37:22 GMT Message-ID: <179048024252.1.7726868760458285875.rpms-flocq-6f72684525dd@fedoraproject.org> List-ID: X-Git-Repo: rpms/flocq X-Git-Branch: rawhide X-Git-Rev: 6f72684525dd712e5ca5ba39ac527c8b9385eb04 QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvZmxvY3EKQnJhbmNo IDogcmF3aGlkZQpDb21taXQgOiA2ZjcyNjg0NTI1ZGQ3MTJlNWNhNWJhMzlhYzUyN2M4YjkzODVl YjA0CkF1dGhvciA6IEplcnJ5IEphbWVzIDxsb2dhbmplcnJ5QGdtYWlsLmNvbT4KRGF0ZSAgIDog MjAyNi0wOS0yNlQyMTozNzowOS0wNjowMApTdGF0cyAgOiArMS8tMSBpbiAxIGZpbGUocykKVVJM ICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy9mbG9jcS9jLzZmNzI2ODQ1 MjVkZDcxMmU1Y2E1YmEzOWFjNTI3YzhiOTM4NWViMDQ/YnJhbmNoPXJhd2hpZGUKCkxvZzoKUmVi dWlsZCBmb3Igcm9jcSA5LjMuMAoKLS0tCmRpZmYgLS1naXQgYS9mbG9jcS5zcGVjIGIvZmxvY3Eu c3BlYwppbmRleCBlMGQyZjJlLi41YTVhNmExIDEwMDY0NAotLS0gYS9mbG9jcS5zcGVjCisrKyBi L2Zsb2NxLnNwZWMKQEAgLTMsNyArMyw3IEBACiAlZ2xvYmFsIGRlYnVnX3BhY2thZ2UgJXtuaWx9 CiAKICVnbG9iYWwgZmxvY3FkaXIgJXtvY2FtbGRpcn0vY29xL3VzZXItY29udHJpYi9GbG9jcQot JWdsb2JhbCByb2NxdmVyIDkuMi4wCislZ2xvYmFsIHJvY3F2ZXIgOS4zLjAKICVnbG9iYWwgY29t bWl0ICA3YWFiOGY1NWJjZWVjMGNmYWZjM2IzYmMwZTc3ZTBkYmI1YTcwYzVmCiAlZ2xvYmFsIGdp dHVybCAgaHR0cHM6Ly9naXRsYWIuaW5yaWEuZnIvZmxvY3EvZmxvY3EKIAo=