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: =?utf-8?b?THVrw6HFoSBaYW9yYWwgPGx6YW9yYWxAcmVkaGF0LmNvbT4=?= To: git-commits@fedoraproject.org Subject: [rpms/cbmc] rawhide: rebase to the latest upstream release Date: Thu, 16 Jul 2026 13:39:15 GMT Message-ID: <178420915588.1.5382558004973175042.rpms-cbmc-33f3ba94e8ed@fedoraproject.org> List-ID: X-Git-Repo: rpms/cbmc X-Git-Branch: rawhide X-Git-Rev: 33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5 ICAgICAgICAgICAgQSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KCiAgICAgICAgICAgIFJl cG8gICA6IHJwbXMvY2JtYwogICAgICAgICAgICBCcmFuY2ggOiByYXdoaWRlCiAgICAgICAgICAg IENvbW1pdCA6IDMzZjNiYTk0ZThlZDdjNTg0ZmQzY2E3YjUxMWU1ZTQ1NTc2YTE1ZjUKICAgICAg ICAgICAgQXV0aG9yIDogTHVrw6HFoSBaYW9yYWwgPGx6YW9yYWxAcmVkaGF0LmNvbT4KICAgICAg ICAgICAgRGF0ZSAgIDogMjAyNi0wNy0xNlQxNToxMzowMSswMjowMAogICAgICAgICAgICBTdGF0 cyAgOiArNi8tMyBpbiAyIGZpbGUocykKICAgICAgICAgICAgVVJMICAgIDogaHR0cHM6Ly9zcmMu ZmVkb3JhcHJvamVjdC5vcmcvcnBtcy9jYm1jL2MvMzNmM2JhOTRlOGVkN2M1ODRmZDNjYTdiNTEx ZTVlNDU1NzZhMTVmNT9icmFuY2g9cmF3aGlkZQoKICAgICAgICAgICAgTG9nOgogICAgICAgICAg ICByZWJhc2UgdG8gdGhlIGxhdGVzdCB1cHN0cmVhbSByZWxlYXNlCgpSZXNvbHZlczogcmh6YiMy NDkyMTY4CgotLS0KZGlmZiAtLWdpdCBhL2NibWMuc3BlYyBiL2NibWMuc3BlYwppbmRleCA4N2Qw Mjg5Li4zOWNlY2E1IDEwMDY0NAotLS0gYS9jYm1jLnNwZWMKKysrIGIvY2JtYy5zcGVjCkBAIC00 LDggKzQsOCBAQAogJWRlZmluZSB1dGlsc192ZXJzaW9uIDEuMwogCiBOYW1lOiAgICAgICAgICAg Y2JtYwotVmVyc2lvbjogICAgICAgIDYuOS4wCi1SZWxlYXNlOiAgICAgICAgMiV7P2Rpc3R9CitW ZXJzaW9uOiAgICAgICAgNi4xMC4wCitSZWxlYXNlOiAgICAgICAgMSV7P2Rpc3R9CiBTdW1tYXJ5 OiAgICAgICAgQm91bmRlZCBNb2RlbCBDaGVja2VyIGZvciBBTlNJLUMgYW5kIEMrKyBwcm9ncmFt cwogCiBMaWNlbnNlOiAgICAgICAgQlNELTQtQ2xhdXNlCkBAIC0xMzEsNiArMTMxLDkgQEAgbXYg JXtidWlsZHJvb3R9ey91c3IvZXRjL2Jhc2hfY29tcGxldGlvbi5kL2NibWMsJXtiYXNoX2NvbXBs ZXRpb25zX2Rpcn19CiAle19iaW5kaXJ9L2NzZXhlYy0le25hbWV9CiAKICVjaGFuZ2Vsb2cKKyog VGh1IEp1bCAxNiAyMDI2IEx1a8OhxaEgWmFvcmFsIDxsemFvcmFsQHJlZGhhdC5jb20+IC0gNi4x MC4wLTEKKy0gcmViYXNlIHRvIHRoZSBsYXRlc3QgdXBzdHJlYW0gcmVsZWFzZSAocmh6YiMyNDky MTY4KQorCiAqIFdlZCBKdWwgMTUgMjAyNiBGZWRvcmEgUmVsZWFzZSBFbmdpbmVlcmluZyA8cmVs ZW5nQGZlZG9yYXByb2plY3Qub3JnPiAtIDYuOS4wLTIKIC0gUmVidWlsdCBmb3IgaHR0cHM6Ly9m ZWRvcmFwcm9qZWN0Lm9yZy93aWtpL0ZlZG9yYV80NV9NYXNzX1JlYnVpbGQKIAoKZGlmZiAtLWdp dCBhL3NvdXJjZXMgYi9zb3VyY2VzCmluZGV4IDY5ODZkZjMuLjQzNTc2ZGIgMTAwNjQ0Ci0tLSBh L3NvdXJjZXMKKysrIGIvc291cmNlcwpAQCAtMSwyICsxLDIgQEAKLVNIQTUxMiAoY2JtYy02Ljku MC50YXIuZ3opID0gNTI3ZTc4ZWM2ZWNmYzgyY2Q4OGJhNDYxNzM1ODQwODc5NGExNTVjZWUwY2Zl M2QwMTdkMDRjNWIxMTU5MGVjZjUyNmVlOWUwZTA3YjhmNDdhMDQxZjM0MGMxNDhlYjEwYTBhYWYw ZDM4MWFlNzZiYmYyMmMwM2Q1ZjJlZTQxOGIKK1NIQTUxMiAoY2JtYy02LjEwLjAudGFyLmd6KSA9 IDg3YThkMDIwMmM3NzhjMDY5OWExMTczM2YxZDczZjIyMzlkOWY5MTIyMjY0NGRjNmZiZmZjODIw ZWNlNTNmNDM2MjExNTIxOTFmYTU0NDM5NTdjODU2MDhhMDAyMWU1NmIyOTA5NTlmMTBiNTE4Y2Iw NDEzM2M0MGM3YmYwZGJlCiBTSEE1MTIgKGNibWMtdXRpbHMtMS4zLnRhci5neikgPSAzZjNlYWE5 ZjJiMmU3NWIxMDg4OTk4OTExZjI4MmViMjU4OWZhNGI3MjRkYmNhMmRkMTU1ZDljNjBkZGUzMDJl NzMyZTY0MDU4OTdhZWUzNDk0OTBiYTU0ZDMzNmYwM2MwOTRmZTU3ZjkyZmI0MmZkMzE3YzZjMWQ0 Yjk1MTQ4OAo=