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/cvc5] rawhide: Version 1.4.1 Date: Sat, 26 Sep 2026 13:51:33 GMT Message-ID: <179043069356.1.142467648133006382.rpms-cvc5-2d196ba666e6@fedoraproject.org> List-ID: X-Git-Repo: rpms/cvc5 X-Git-Branch: rawhide X-Git-Rev: 2d196ba666e616cd006ad636d9be9d07cdbfc455 QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvY3ZjNQpCcmFuY2gg OiByYXdoaWRlCkNvbW1pdCA6IDJkMTk2YmE2NjZlNjE2Y2QwMDZhZDYzNmQ5YmU5ZDA3Y2RiZmM0 NTUKQXV0aG9yIDogSmVycnkgSmFtZXMgPGxvZ2FuamVycnlAZ21haWwuY29tPgpEYXRlICAgOiAy MDI2LTA5LTI2VDA3OjQ3OjU2LTA2OjAwClN0YXRzICA6ICsxMi8tMTQgaW4gMyBmaWxlKHMpClVS TCAgICA6IGh0dHBzOi8vc3JjLmZlZG9yYXByb2plY3Qub3JnL3JwbXMvY3ZjNS9jLzJkMTk2YmE2 NjZlNjE2Y2QwMDZhZDYzNmQ5YmU5ZDA3Y2RiZmM0NTU/YnJhbmNoPXJhd2hpZGUKCkxvZzoKVmVy c2lvbiAxLjQuMQoKLS0tCmRpZmYgLS1naXQgYS9jdmM1LXNraXAtaGltZW0tdGVzdHMucGF0Y2gg Yi9jdmM1LXNraXAtaGltZW0tdGVzdHMucGF0Y2gKaW5kZXggOWFhODc4Yi4uNDFlYzlhMCAxMDA2 NDQKLS0tIGEvY3ZjNS1za2lwLWhpbWVtLXRlc3RzLnBhdGNoCisrKyBiL2N2YzUtc2tpcC1oaW1l bS10ZXN0cy5wYXRjaApAQCAtMSw1ICsxLDUgQEAKLS0tLSBjdmM1LWN2YzUtMS40LjAvdGVzdC9h cGkvY3BwL2lzc3Vlcy9DTWFrZUxpc3RzLnR4dC5vcmlnCTIwMjYtMDktMTcgMTU6MTA6MTIuMDAw MDAwMDAwIC0wNjAwCi0rKysgY3ZjNS1jdmM1LTEuNC4wL3Rlc3QvYXBpL2NwcC9pc3N1ZXMvQ01h a2VMaXN0cy50eHQJMjAyNi0wOS0xOCAxNDoyNDoyOC44NTQxMzYxNzEgLTA2MDAKKy0tLSBjdmM1 LWN2YzUtMS40LjEvdGVzdC9hcGkvY3BwL2lzc3Vlcy9DTWFrZUxpc3RzLnR4dC5vcmlnCTIwMjYt MDktMjUgMTQ6MjQ6NDMuMDAwMDAwMDAwIC0wNjAwCisrKysgY3ZjNS1jdmM1LTEuNC4xL3Rlc3Qv YXBpL2NwcC9pc3N1ZXMvQ01ha2VMaXN0cy50eHQJMjAyNi0wOS0yNiAwNzoyNTo1MS41NTk0Mzgz NTUgLTA2MDAKIEBAIC00Niw4ICs0Niw4IEBAIGN2YzVfYWRkX2FwaV90ZXN0KHByb2otaXNzdWU2 NjYgImlzc3VlcyIKICAKICBpZiAoTk9UIEVOQUJMRV9TQUZFX01PREUgQU5EIE5PVCBFTkFCTEVf U1RBQkxFX01PREUpCkBAIC0xMSwyMCArMTEsMTggQEAKICAgIGN2YzVfYWRkX2FwaV90ZXN0KHBy b2otaXNzdWUzNzcgImlzc3VlcyIpCiAgICBjdmM1X2FkZF9hcGlfdGVzdChwcm9qLWlzc3VlMzg4 ICJpc3N1ZXMiKQogICAgY3ZjNV9hZGRfYXBpX3Rlc3QocHJvai1pc3N1ZTQxMyAiaXNzdWVzIikK LS0tLSBjdmM1LWN2YzUtMS40LjAvdGVzdC9yZWdyZXNzL2NsaS9DTWFrZUxpc3RzLnR4dC5vcmln CTIwMjYtMDktMTcgMTU6MTA6MTIuMDAwMDAwMDAwIC0wNjAwCi0rKysgY3ZjNS1jdmM1LTEuNC4w L3Rlc3QvcmVncmVzcy9jbGkvQ01ha2VMaXN0cy50eHQJMjAyNi0wOS0xOCAxNDoyNToxMy4wMTAw NzUyMTcgLTA2MDAKLUBAIC00MzA0LDggKzQzMDQsOCBAQCBzZXQocmVncmVzc18zX3Rlc3RzCist LS0gY3ZjNS1jdmM1LTEuNC4xL3Rlc3QvcmVncmVzcy9jbGkvQ01ha2VMaXN0cy50eHQub3JpZwky MDI2LTA5LTI1IDE0OjI0OjQzLjAwMDAwMDAwMCAtMDYwMAorKysrIGN2YzUtY3ZjNS0xLjQuMS90 ZXN0L3JlZ3Jlc3MvY2xpL0NNYWtlTGlzdHMudHh0CTIwMjYtMDktMjYgMDc6MjY6NTQuMDQ0MjQx MjI3IC0wNjAwCitAQCAtNDM0MCw3ICs0MzQwLDcgQEAgc2V0KHJlZ3Jlc3NfM190ZXN0cwogICAg cmVncmVzczMvYXJpdGgvYWJ6NV8xNDAwLnNtdHYxLnNtdDIKICAgIHJlZ3Jlc3MzL2FyaXRoX3By cC0xMy0yNC5zbXQyCiAgICByZWdyZXNzMy9hdWZsaWEtZnV6ejA2LnNtdHYxLnNtdDIKIC0gIHJl Z3Jlc3MzL2JhZ3MvcmVkdWNlX2NvbnN0YW50c19kdXAuc210MgotLSAgcmVncmVzczMvYm1jLWli bS0xLnNtdHYxLnNtdDIKICsgICNyZWdyZXNzMy9iYWdzL3JlZHVjZV9jb25zdGFudHNfZHVwLnNt dDIKLSsgICNyZWdyZXNzMy9ibWMtaWJtLTEuc210djEuc210MgogICAgcmVncmVzczMvYm1jLWli bS0yLnNtdHYxLnNtdDIKLSAgIHJlZ3Jlc3MzL2JtYy1pYm0tNS5zbXR2MS5zbXQyCiAgICByZWdy ZXNzMy9ibWMtaWJtLTcuc210djEuc210MgotQEAgLTQzMjAsNyArNDMyMCw3IEBAIHNldChyZWdy ZXNzXzNfdGVzdHMKKyAgIHJlZ3Jlc3MzL2J1ZzIuc210djEuc210MgorQEAgLTQzNTQsNyArNDM1 NCw3IEBAIHNldChyZWdyZXNzXzNfdGVzdHMKICAgIHJlZ3Jlc3MzL2J2LWNvcmUtZXh0X2Nvbl8w MDRfMDAxXzEwMjQuc210djEuc210MgogICAgcmVncmVzczMvYnYtZnV6ejE1LnNtdHYxLnNtdDIK ICAgIHJlZ3Jlc3MzL2J2LWZ1enoxNi5zbXR2MS5zbXQyCkBAIC0zMyw3ICszMSw3IEBACiAgICBy ZWdyZXNzMy9jZWdpc3VuaWYtZGVwdGgxLnN5CiAgICByZWdyZXNzMy9kZWNpc2lvbi11ZmxpYS14 cy0wOS0xNi0zLTQtMS01LnNtdHYxLnNtdDIKICAgIHJlZ3Jlc3MzL0RSQUdPTl8xLmx1cy5zeQot QEAgLTQzMzMsNyArNDMzMyw3IEBAIHNldChyZWdyZXNzXzNfdGVzdHMKK0BAIC00MzY3LDcgKzQz NjcsNyBAQCBzZXQocmVncmVzc18zX3Rlc3RzCiAgICByZWdyZXNzMy9pbnRlcnBvbDIuc210Mgog ICAgcmVncmVzczMvaW52X2dlbl9uX2MxMS5zeQogICAgcmVncmVzczMvaXNzdWUxMTYxNi5zbXQy CkBAIC00Miw3ICs0MCw3IEBACiAgICByZWdyZXNzMy9pc3N1ZTQ3MDctYnYtdG8tYm9vbC1sYXJn ZS5zbXQyCiAgICByZWdyZXNzMy9scHNhdC1nb2FsLTkuc210MgogICAgcmVncmVzczMvbmlhLW1h eC1zcXVhcmUuc3kKLUBAIC00MzQ2LDcgKzQzNDYsNyBAQCBzZXQocmVncmVzc18zX3Rlc3RzCitA QCAtNDM4MCw3ICs0MzgwLDcgQEAgc2V0KHJlZ3Jlc3NfM190ZXN0cwogICAgcmVncmVzczMvcXdo LjM1LjQwNS5zaHVmZmxlZC1hcy5zYXQwMy0xNjUxLnNtdHYxLnNtdDIKICAgIHJlZ3Jlc3MzL3Np eGZ1bmNzLnN5CiAgICByZWdyZXNzMy9zcGVjc2hhcnAtV2luZG93c0NhcmQuMTUuUlRFLlRlcm1p bmF0ZV9TeXN0ZW0uSW50MzIuc210MgpAQCAtNTEsNyArNDksNyBAQAogICAgcmVncmVzczMvc3Ry aW5ncy9leHRmX2RfcGVyZi5zbXQyCiAgICByZWdyZXNzMy9zdHJpbmdzL2lzc3VlODkyNi1zeWd1 cy1pbnN0LnNtdDIKICAgIHJlZ3Jlc3MzL3N0cmluZ3Mvbm9ybi1kaXMtMDcwNy0zLnNtdDIKLUBA IC00MzYwLDkgKzQzNjAsOSBAQCBzZXQocmVncmVzc18zX3Rlc3RzCitAQCAtNDM5NCw5ICs0Mzk0 LDkgQEAgc2V0KHJlZ3Jlc3NfM190ZXN0cwogIHNldChyZWdyZXNzXzRfdGVzdHMKICAgIHJlZ3Jl c3M0L2J1ZzE0My5zbXR2MS5zbXQyCiAgICByZWdyZXNzNC9idi9hYnN0cmFjdC9hYnYta2xlZS1z ZWxlY3QtaW5kZXguc210MgoKZGlmZiAtLWdpdCBhL2N2YzUuc3BlYyBiL2N2YzUuc3BlYwppbmRl eCAxNTU4M2I3Li40NGZmYWEwIDEwMDY0NAotLS0gYS9jdmM1LnNwZWMKKysrIGIvY3ZjNS5zcGVj CkBAIC0xMiw3ICsxMiw3IEBACiAlZ2xvYmFsIGdpdHVybCAgaHR0cHM6Ly9naXRodWIuY29tL2N2 YzUvY3ZjNQogCiBOYW1lOiAgICAgICAgICAgY3ZjNQotVmVyc2lvbjogICAgICAgIDEuNC4wCitW ZXJzaW9uOiAgICAgICAgMS40LjEKIFJlbGVhc2U6ICAgICAgICAlYXV0b3JlbGVhc2UKIFN1bW1h cnk6ICAgICAgICBBdXRvbWF0aWMgdGhlb3JlbSBwcm92ZXIgZm9yIFNNVCBwcm9ibGVtcwogCgpk aWZmIC0tZ2l0IGEvc291cmNlcyBiL3NvdXJjZXMKaW5kZXggNzlhY2I5YS4uNmEyYmYzYSAxMDA2 NDQKLS0tIGEvc291cmNlcworKysgYi9zb3VyY2VzCkBAIC0xLDIgKzEsMiBAQAotU0hBNTEyIChj dmM1LTEuNC4wLnRhci5neikgPSBlZTk1Nzg4NzhjN2U1NDFmODJhNWY2Yzk1MzVjZDRiYTc2NGZi NmQ1ZGNkYzBiZjY5ZTUwY2QzNjBiMmI1NmJjNjZhZGNhMWY2YmFiZDU5NzFjNTE3NTgxOGIzZTcx NmNiN2I0MTE0ODhhZGNiZjIwN2UyMWFjNTlkMGZkNmQ4NAorU0hBNTEyIChjdmM1LTEuNC4xLnRh ci5neikgPSA2NmQ2ODJhMTAwOGU1Y2ZhYzE0Mjg1YjU1ZTBmNTlhNzI2MjIwNGExMGI0OTJiYWZk YjFiMjdjZDMwZTU0OTU3MDNkZjVhZTM4YmI3YTE0MjBkMTA3MDgzMWI3ZTNhMDk5ZDIyNGM5YWI5 MDkxZTUzOTJmNmNjNmEzMWFmY2RhNwogU0hBNTEyIChhMGQ2Yzc1YmNhMGRjYTRhMjZjMGQ1NzBl N2I5NjkyNzJjOWE3ZGUxLnppcCkgPSBjMTQzMmI3NGI0MWI0YTY0NGNjMjY3NWNjMDA0MDg3OGRj NDA5NjNmOWU3OGM0NTQwZmIzOWNkNDE2M2Q4ZWFlZDY5MzhlY2Y2NjRkYzNhZmY2NTJkYmVlMDZl ODgyOTVkNmE3N2MwNDAzNzM2YTc3YTNhOWQ2YzZkODkzYmUwOQo=