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/frama-c] rawhide: OCaml 5.5.0 rebuild Date: Fri, 10 Jul 2026 15:24:28 GMT Message-ID: <178369706878.1.17319128283129074094.rpms-frama-c-933339cd7f2e@fedoraproject.org> List-ID: X-Git-Repo: rpms/frama-c X-Git-Branch: rawhide X-Git-Rev: 933339cd7f2ec9f95fb628507667f2797ed9b3d9 ICAgICAgICAgICAgQSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KCiAgICAgICAgICAgIFJl cG8gICA6IHJwbXMvZnJhbWEtYwogICAgICAgICAgICBCcmFuY2ggOiByYXdoaWRlCiAgICAgICAg ICAgIENvbW1pdCA6IDkzMzMzOWNkN2YyZWM5Zjk1ZmI2Mjg1MDc2NjdmMjc5N2VkOWIzZDkKICAg ICAgICAgICAgQXV0aG9yIDogSmVycnkgSmFtZXMgPGxvZ2FuamVycnlAZ21haWwuY29tPgogICAg ICAgICAgICBEYXRlICAgOiAyMDI2LTA3LTEwVDA5OjI0OjA3LTA2OjAwCiAgICAgICAgICAgIFN0 YXRzICA6ICs3NS8tMTQgaW4gMyBmaWxlKHMpCiAgICAgICAgICAgIFVSTCAgICA6IGh0dHBzOi8v c3JjLmZlZG9yYXByb2plY3Qub3JnL3JwbXMvZnJhbWEtYy9jLzkzMzMzOWNkN2YyZWM5Zjk1ZmI2 Mjg1MDc2NjdmMjc5N2VkOWIzZDk/YnJhbmNoPXJhd2hpZGUKCiAgICAgICAgICAgIExvZzoKICAg ICAgICAgICAgT0NhbWwgNS41LjAgcmVidWlsZAoKLSBVc2UgdGhlIGR1bmUgZGVjbGFyYXRpdmUg YnVpbGRzeXN0ZW0KLSBBZGQgcGF0Y2hlcyB0byBmaXggdGVzdHMgd2l0aCBkdW5lIDMuMjQKCi0t LQpkaWZmIC0tZ2l0IGEvZnJhbWEtYy10ZXN0LXNwYWNlcy5wYXRjaCBiL2ZyYW1hLWMtdGVzdC1z cGFjZXMucGF0Y2gKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMC4uMjRlMDNkOAot LS0gL2Rldi9udWxsCisrKyBiL2ZyYW1hLWMtdGVzdC1zcGFjZXMucGF0Y2gKQEAgLTAsMCArMSw1 MCBAQAorLS0tIGZyYW1hLWMtMzIuMS1HZXJtYW5pdW0vc3JjL3BsdWdpbnMvYWxpYXMvdGVzdHMv Zml4ZWRfYnVncy9vcmFjbGUvdm9pZF9wdHIucmVzLm9yYWNsZS5vcmlnCTIwMjYtMDMtMTUgMTg6 MDA6MDAuMDAwMDAwMDAwIC0wNjAwCisrKysgZnJhbWEtYy0zMi4xLUdlcm1hbml1bS9zcmMvcGx1 Z2lucy9hbGlhcy90ZXN0cy9maXhlZF9idWdzL29yYWNsZS92b2lkX3B0ci5yZXMub3JhY2xlCTIw MjYtMDctMDkgMTk6NDc6MzMuOTE2Njg1MzM3IC0wNjAwCitAQCAtNDYsOCArNDYsOCBAQAorICAg ICBlbnRlcl9kaXJfYWQuZnRzX2VudCB9CisgICB7IChmdHNfcmVhZF9zcC5odCktPmJ1Y2tldC5k YXRhOyBlbnRlcl9kaXJfZW50cnkgfQorIFthbGlhc10gYW5hbHlzaW5nIGluc3RydWN0aW9uOiBz dHJ1Y3QgX2Z0c2VudCAqdG1wID0gZnRzX3JlYWRfc3BfMC0+ZnRzX2xpbms7CistW2FsaWFzXSBN YXktYWxpYXNlcyBhZnRlciBpbnN0cnVjdGlvbgorLSAgc3RydWN0IF9mdHNlbnQgKnRtcCA9IGZ0 c19yZWFkX3NwXzAtPmZ0c19saW5rOyAgYXJlCisrW2FsaWFzXSBNYXktYWxpYXNlcyBhZnRlciBp bnN0cnVjdGlvbiAgc3RydWN0IF9mdHNlbnQgKnRtcCA9IGZ0c19yZWFkX3NwXzAtPmZ0c19saW5r OworKyAgYXJlCisgICB7ICgoc3RydWN0IEFjdGl2ZV9kaXIgKikoZnRzX3JlYWRfc3AuaHQpLT5i dWNrZXQuZGF0YSktPmZ0c19lbnQ7CisgICAgICgoc3RydWN0IEFjdGl2ZV9kaXIgKillbnRlcl9k aXJfZW50cnkpLT5mdHNfZW50OyBmdHNfcmVhZF9zcF8wOworICAgICBlbnRlcl9kaXJfYWQuZnRz X2VudCB9CistLS0gZnJhbWEtYy0zMi4xLUdlcm1hbml1bS9zcmMvcGx1Z2lucy9hbGlhcy90ZXN0 cy9vZmZzZXRzL29yYWNsZS9uZXN0ZWQyLnJlcy5vcmFjbGUub3JpZwkyMDI2LTAzLTE1IDE4OjAw OjAwLjAwMDAwMDAwMCAtMDYwMAorKysrIGZyYW1hLWMtMzIuMS1HZXJtYW5pdW0vc3JjL3BsdWdp bnMvYWxpYXMvdGVzdHMvb2Zmc2V0cy9vcmFjbGUvbmVzdGVkMi5yZXMub3JhY2xlCTIwMjYtMDct MDkgMTc6NDI6MzcuMDU0MTA5NDM5IC0wNjAwCitAQCAtMzMsOCArMzMsOCBAQAorIFthbGlhc10g TWF5LWFsaWFzZXMgYWZ0ZXIgaW5zdHJ1Y3Rpb24gIHoxLT5jID0gYTsgIGFyZSAgeyB6MS0+Yzsg YSB9CisgW2FsaWFzXSBhbmFseXNpbmcgaW5zdHJ1Y3Rpb246IHQtPnQgPSAoc3RydWN0IHN0cnVj dF8yX3QgKil6MTsKKyBbYWxpYXNdIE1heS1hbGlhc2VzIGFmdGVyIGluc3RydWN0aW9uICB0LT50 ID0gKHN0cnVjdCBzdHJ1Y3RfMl90ICopejE7ICBhcmUKKy0gIHsgKHQtPnQpLT5zWzAuLl07IHox LT5zWzAuLl0gfSAgeyAodC0+dCktPnM7IHoxLT5zIH0KKy0gIHsgKHQtPnQpLT5jOyB6MS0+Yzsg YSB9ICB7IHQtPnQ7IHoxIH0KKysgIHsgKHQtPnQpLT5zWzAuLl07IHoxLT5zWzAuLl0gfSAgeyAo dC0+dCktPnM7IHoxLT5zIH0gIHsgKHQtPnQpLT5jOyB6MS0+YzsgYSB9CisrICB7IHQtPnQ7IHox IH0KKyBbYWxpYXNdIGFuYWx5c2luZyBpbnN0cnVjdGlvbjogdC0+ZCA9IGE7CisgW2FsaWFzXSBN YXktYWxpYXNlcyBhZnRlciBpbnN0cnVjdGlvbiAgdC0+ZCA9IGE7ICBhcmUKKyAgIHsgKHQtPnQp LT5zWzAuLl07IHoxLT5zWzAuLl0gfSAgeyAodC0+dCktPnM7IHoxLT5zIH0KKy0tLSBmcmFtYS1j LTMyLjEtR2VybWFuaXVtL3NyYy9wbHVnaW5zL2FsaWFzL3Rlc3RzL3JlYWxfd29ybGQvb3JhY2xl L25lc3RlZF9jYWxscy5yZXMub3JhY2xlLm9yaWcJMjAyNi0wMy0xNSAxODowMDowMC4wMDAwMDAw MDAgLTA2MDAKKysrKyBmcmFtYS1jLTMyLjEtR2VybWFuaXVtL3NyYy9wbHVnaW5zL2FsaWFzL3Rl c3RzL3JlYWxfd29ybGQvb3JhY2xlL25lc3RlZF9jYWxscy5yZXMub3JhY2xlCTIwMjYtMDctMDkg MTc6NDM6NDYuNDkyNTM2ODQ3IC0wNjAwCitAQCAtMjQsOCArMjQsOCBAQAorIFthbGlhc10gTWF5 LWFsaWFzZXMgYWZ0ZXIgZ2xvYmFsIHZhcmlhYmxlIGRlZmluaXRpb24gIEVfaW52YWxpZF91c2Vy ICBhcmUKKyAgIHsgRV9pbnZhbGlkX3VzZXI7ICIiIH0KKyBbYWxpYXNdIGFuYWx5c2luZyBnbG9i YWwgdmFyaWFibGUgZGVmaW5pdGlvbjogY2hhbmdlX2ZpbGVfb3duZXJfdG1wX19fMTEgPSB7fTsK Ky1bYWxpYXNdIE1heS1hbGlhc2VzIGFmdGVyIGdsb2JhbCB2YXJpYWJsZSBkZWZpbml0aW9uICBj aGFuZ2VfZmlsZV9vd25lcl90bXBfX18xMQorLSAgYXJlICB7IEVfaW52YWxpZF91c2VyOyAiIiB9 CisrW2FsaWFzXSBNYXktYWxpYXNlcyBhZnRlciBnbG9iYWwgdmFyaWFibGUgZGVmaW5pdGlvbiAg Y2hhbmdlX2ZpbGVfb3duZXJfdG1wX19fMTEgIGFyZQorKyAgeyBFX2ludmFsaWRfdXNlcjsgIiIg fQorIFthbGlhc10gYW5hbHlzaW5nIGdsb2JhbCB2YXJpYWJsZSBkZWZpbml0aW9uOiBfX2ZjX2xp dF9zdHJpbmcyID0gIiI7CisgW2FsaWFzXSBNYXktYWxpYXNlcyBhZnRlciBnbG9iYWwgdmFyaWFi bGUgZGVmaW5pdGlvbiAgX19mY19saXRfc3RyaW5nMiAgYXJlCisgICB7IEVfaW52YWxpZF91c2Vy OyAiIiB9CitAQCAtNzkxLDggKzc5MSw4IEBACisgW2FsaWFzXSBhbmFseXNpbmcgaW5zdHJ1Y3Rp b246IHhzdHJ0b3VsKCk7CisgW2FsaWFzXSBhbmFseXNpbmcgZnVuY3Rpb246IHhzdHJ0b3VsCisg W2FsaWFzXSBhbmFseXNpbmcgaW5zdHJ1Y3Rpb246IHN0cnRvbF9lcnJvciBfX2NvbnN0cl9leHBy XzAgPSB7LnggPSAoY2hhcikwfTsKKy1bYWxpYXNdIE1heS1hbGlhc2VzIGFmdGVyIGluc3RydWN0 aW9uCistICBzdHJ0b2xfZXJyb3IgX19jb25zdHJfZXhwcl8wID0gey54ID0gKGNoYXIpMH07ICBh cmUKKytbYWxpYXNdIE1heS1hbGlhc2VzIGFmdGVyIGluc3RydWN0aW9uICBzdHJ0b2xfZXJyb3Ig X19jb25zdHJfZXhwcl8wID0gey54ID0gKGNoYXIpMH07CisrICBhcmUKKyAgIHsgRV9pbnZhbGlk X3VzZXI7ICIiIH0gIHsgRV9pbnZhbGlkX2dyb3VwOyAiIiB9ICB7IEVfYmFkX3NwZWM7ICIiIH0K KyAgIHsgcXVvdGluZ19zdHlsZV9hcmdzWzAuLl07ICIiOyAiIjsgIiI7ICIiOyAiIjsgIiI7ICIi OyAiIiB9ICB7IFZlcnNpb247ICIiIH0KKyBbYWxpYXNdIE1heS1hbGlhc2VzIGF0IHRoZSBlbmQg b2YgZnVuY3Rpb24geHN0cnRvdWw6CgpkaWZmIC0tZ2l0IGEvZnJhbWEtYy10ZXN0cy5wYXRjaCBi L2ZyYW1hLWMtdGVzdHMucGF0Y2gKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMC4u NWU3NmVkOAotLS0gL2Rldi9udWxsCisrKyBiL2ZyYW1hLWMtdGVzdHMucGF0Y2gKQEAgLTAsMCAr MSwxMyBAQAorLS0tIGZyYW1hLWMtMzIuMS1HZXJtYW5pdW0vc2hhcmUvTWFrZWZpbGUudGVzdGlu Zy5vcmlnCTIwMjYtMDMtMTUgMTg6MDA6MDAuMDAwMDAwMDAwIC0wNjAwCisrKysgZnJhbWEtYy0z Mi4xLUdlcm1hbml1bS9zaGFyZS9NYWtlZmlsZS50ZXN0aW5nCTIwMjYtMDctMDkgMTc6MDk6MTYu MTEyNDk1MTc0IC0wNjAwCitAQCAtMjA1LDggKzIwNSw4IEBAIGVuZGlmICMgUFRFU1RfVVNFX1dQ X0NBQ0hFCisgCisgLlBIT05ZOiBkZWZhdWx0LXRlc3RzCisgZGVmYXVsdC10ZXN0czogcnVuLXB0 ZXN0cworLQlkdW5lIGJ1aWxkIEBwdGVzdHNfY29uZmlnCistCWR1bmUgcnVudGVzdCB0ZXN0cwor KwlkdW5lIGJ1aWxkIC0tcmVsZWFzZSBAcHRlc3RzX2NvbmZpZworKwlkdW5lIHJ1bnRlc3QgLS1y ZWxlYXNlIHRlc3RzCisgCSQoTUFLRSkgY291bnQtdGVzdHMKKyAKKyAuUEhPTlk6IGNvdW50LXRl c3RzCgpkaWZmIC0tZ2l0IGEvZnJhbWEtYy5zcGVjIGIvZnJhbWEtYy5zcGVjCmluZGV4IGFlYTYz ZTIuLmM0ZGE1ZWUgMTAwNjQ0Ci0tLSBhL2ZyYW1hLWMuc3BlYworKysgYi9mcmFtYS1jLnNwZWMK QEAgLTEsNiArMSwzIEBACi0jIENvcSdzIHBsdWdpbiBhcmNoaXRlY3R1cmUgcmVxdWlyZXMgY214 cyBmaWxlcywgc286Ci1FeGNsdXNpdmVBcmNoOiAle29jYW1sX25hdGl2ZV9jb21waWxlcn0KLQog IyBXaXRob3V0IHRoaXMsIGdjYyBmbGFncyBhcmUgcGFzc2VkIHRvIGZyYW1hLWMgaW4gdGhlIHRl c3Qgc3VpdGUKICV1bmRlZmluZSBfYXV0b19zZXRfYnVpbGRfZmxhZ3MKIApAQCAtNDQsNiArNDEs MTYgQEAgUGF0Y2g6ICAgICAgICAgICV7bmFtZX0tbWF0aGxpYi5wYXRjaAogIyBXb3JrIGFyb3Vu ZCBhIGNoYW5nZSBpbiBkdW5lIGJlaGF2aW9yCiBQYXRjaDogICAgICAgICAgJXtuYW1lfS1kdW5l LWJ1Zy5wYXRjaAogCisjIFJ1biB0ZXN0cyBpbiByZWxlYXNlIG1vZGUgdG8gYXZvaWQgdHVybmlu ZyB3YXJuaW5ncyBpbnRvIGVycm9ycworUGF0Y2g6ICAgICAgICAgICV7bmFtZX0tdGVzdHMucGF0 Y2gKKworIyBBZGFwdCB0byBkaWZmZXJlbmNlcyBpbiB0aGUgcG9zaXRpb24gb2Ygc3BhY2VzIGlu IHRoZSB0ZXN0cworUGF0Y2g6ICAgICAgICAgICV7bmFtZX0tdGVzdC1zcGFjZXMucGF0Y2gKKwor IyBDb3EncyBwbHVnaW4gYXJjaGl0ZWN0dXJlIHJlcXVpcmVzIGNteHMgZmlsZXMsIHNvOgorRXhj bHVzaXZlQXJjaDogICV7b2NhbWxfbmF0aXZlX2NvbXBpbGVyfQorCitCdWlsZFN5c3RlbTogICAg ZHVuZQogQnVpbGRSZXF1aXJlczogIGFsdC1lcmdvCiBCdWlsZFJlcXVpcmVzOiAgY2xhbmcKIEJ1 aWxkUmVxdWlyZXM6ICBkZXNrdG9wLWZpbGUtdXRpbHMKQEAgLTc1LDE0ICs4MiwxMCBAQCBCdWls ZFJlcXVpcmVzOiAgb2NhbWwteW9qc29uLWRldmVsID49IDIuMC4xCiBCdWlsZFJlcXVpcmVzOiAg b2NhbWwtemFyaXRoLWRldmVsID49IDEuMTMKIEJ1aWxkUmVxdWlyZXM6ICBvY2FtbC16aXAtZGV2 ZWwKIEJ1aWxkUmVxdWlyZXM6ICBvY2FtbC16bXEtZGV2ZWwKLUJ1aWxkUmVxdWlyZXM6ICBwYW5k b2MKIEJ1aWxkUmVxdWlyZXM6ICBweXRob24zLWRldmVsCi1CdWlsZFJlcXVpcmVzOiAgJXtweTNf ZGlzdCBqc29uc2NoZW1hfQotQnVpbGRSZXF1aXJlczogICV7cHkzX2Rpc3QgcHl5YW1sfQogQnVp bGRSZXF1aXJlczogIHRpbWUKIEJ1aWxkUmVxdWlyZXM6ICB1bml4MmRvcwogQnVpbGRSZXF1aXJl czogIHdoeTMKLUJ1aWxkUmVxdWlyZXM6ICB5cQogQnVpbGRSZXF1aXJlczogIHozCiAKIFJlcXVp cmVzOiAgICAgICBhbHQtZXJnbwpAQCAtMTU2LDEyICsxNTksNyBAQCBzZWQgLXJpICdzL15DUFtb OmJsYW5rOl1dKz0uKi8mIC1wLycgc2hhcmUvTWFrZWZpbGUuY29tbW9uCiAlcHkzX3NoZWJhbmdf Zml4IHRlc3RzL2xpYmMKICVweTNfc2hlYmFuZ19maXggdGVzdHMvc3ludGF4L2NwcC1jb21tYW5k LnQKIAotJWJ1aWxkCi0lZHVuZV9idWlsZAotCi0laW5zdGFsbAotJWR1bmVfaW5zdGFsbAotCisl aW5zdGFsbCAtYQogIyBUd28gb2YgdGhlIG1hbiBwYWdlcyBhcmUgZHVwbGljYXRlcywgc28gbWFr ZSBvbmUgYSBsaW5rIHRvIHRoZSBvdGhlci4KIGNhdCA+ICV7YnVpbGRyb290fSV7X21hbmRpcn0v bWFuMS9mcmFtYS1jLWd1aS4xIDw8IEVPRgogLnNvIG1hbjEvZnJhbWEtYy4xCkBAIC0yMjUsOCAr MjIzLDggQEAgZmkKIAogIyBGSVhNRTogdGVzdHMgZmFpbCBvbiBwcGM2bGUgZHVlIHRvIHJlZGVm aW5pdGlvbiBvZiBib29sCiAjIEZJWE1FOiB0ZXN0IGlzc3VlLWVhY3NsLTQwLjEuZXhlYy53dGVz dHMgZmFpbHMgb24gYWFyY2g2NAotJWlmYXJjaCAle3g4Nl82NH0KICVjaGVjaworJWlmYXJjaCAl e3g4Nl82NH0KICMgU2tpcCBhIGJyb2tlbiB0ZXN0IGZvciBub3cKIHJtIC1mciB0ZXN0cy9mY19z Y3JpcHQvbWFrZS1tYWNoZGVwLnQKIHNlZCAtaSAnMTAsKzRkJyB0ZXN0cy9mY19zY3JpcHQvZHVu ZQo=