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] f45: Version 1.4.1 Date: Sat, 26 Sep 2026 14:00:17 GMT Message-ID: <179043121742.1.6876095640599606287.rpms-cvc5-2d196ba666e6@fedoraproject.org> List-ID: X-Git-Repo: rpms/cvc5 X-Git-Branch: f45 X-Git-Rev: 2d196ba666e616cd006ad636d9be9d07cdbfc455 QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvY3ZjNQpCcmFuY2gg OiBmNDUKQ29tbWl0IDogMmQxOTZiYTY2NmU2MTZjZDAwNmFkNjM2ZDliZTlkMDdjZGJmYzQ1NQpB dXRob3IgOiBKZXJyeSBKYW1lcyA8bG9nYW5qZXJyeUBnbWFpbC5jb20+CkRhdGUgICA6IDIwMjYt MDktMjZUMDc6NDc6NTYtMDY6MDAKU3RhdHMgIDogKzEyLy0xNCBpbiAzIGZpbGUocykKVVJMICAg IDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy9jdmM1L2MvMmQxOTZiYTY2NmU2 MTZjZDAwNmFkNjM2ZDliZTlkMDdjZGJmYzQ1NT9icmFuY2g9ZjQ1CgpMb2c6ClZlcnNpb24gMS40 LjEKCi0tLQpkaWZmIC0tZ2l0IGEvY3ZjNS1za2lwLWhpbWVtLXRlc3RzLnBhdGNoIGIvY3ZjNS1z a2lwLWhpbWVtLXRlc3RzLnBhdGNoCmluZGV4IDlhYTg3OGIuLjQxZWM5YTAgMTAwNjQ0Ci0tLSBh L2N2YzUtc2tpcC1oaW1lbS10ZXN0cy5wYXRjaAorKysgYi9jdmM1LXNraXAtaGltZW0tdGVzdHMu cGF0Y2gKQEAgLTEsNSArMSw1IEBACi0tLS0gY3ZjNS1jdmM1LTEuNC4wL3Rlc3QvYXBpL2NwcC9p c3N1ZXMvQ01ha2VMaXN0cy50eHQub3JpZwkyMDI2LTA5LTE3IDE1OjEwOjEyLjAwMDAwMDAwMCAt MDYwMAotKysrIGN2YzUtY3ZjNS0xLjQuMC90ZXN0L2FwaS9jcHAvaXNzdWVzL0NNYWtlTGlzdHMu dHh0CTIwMjYtMDktMTggMTQ6MjQ6MjguODU0MTM2MTcxIC0wNjAwCistLS0gY3ZjNS1jdmM1LTEu NC4xL3Rlc3QvYXBpL2NwcC9pc3N1ZXMvQ01ha2VMaXN0cy50eHQub3JpZwkyMDI2LTA5LTI1IDE0 OjI0OjQzLjAwMDAwMDAwMCAtMDYwMAorKysrIGN2YzUtY3ZjNS0xLjQuMS90ZXN0L2FwaS9jcHAv aXNzdWVzL0NNYWtlTGlzdHMudHh0CTIwMjYtMDktMjYgMDc6MjU6NTEuNTU5NDM4MzU1IC0wNjAw CiBAQCAtNDYsOCArNDYsOCBAQCBjdmM1X2FkZF9hcGlfdGVzdChwcm9qLWlzc3VlNjY2ICJpc3N1 ZXMiCiAgCiAgaWYgKE5PVCBFTkFCTEVfU0FGRV9NT0RFIEFORCBOT1QgRU5BQkxFX1NUQUJMRV9N T0RFKQpAQCAtMTEsMjAgKzExLDE4IEBACiAgICBjdmM1X2FkZF9hcGlfdGVzdChwcm9qLWlzc3Vl Mzc3ICJpc3N1ZXMiKQogICAgY3ZjNV9hZGRfYXBpX3Rlc3QocHJvai1pc3N1ZTM4OCAiaXNzdWVz IikKICAgIGN2YzVfYWRkX2FwaV90ZXN0KHByb2otaXNzdWU0MTMgImlzc3VlcyIpCi0tLS0gY3Zj NS1jdmM1LTEuNC4wL3Rlc3QvcmVncmVzcy9jbGkvQ01ha2VMaXN0cy50eHQub3JpZwkyMDI2LTA5 LTE3IDE1OjEwOjEyLjAwMDAwMDAwMCAtMDYwMAotKysrIGN2YzUtY3ZjNS0xLjQuMC90ZXN0L3Jl Z3Jlc3MvY2xpL0NNYWtlTGlzdHMudHh0CTIwMjYtMDktMTggMTQ6MjU6MTMuMDEwMDc1MjE3IC0w NjAwCi1AQCAtNDMwNCw4ICs0MzA0LDggQEAgc2V0KHJlZ3Jlc3NfM190ZXN0cworLS0tIGN2YzUt Y3ZjNS0xLjQuMS90ZXN0L3JlZ3Jlc3MvY2xpL0NNYWtlTGlzdHMudHh0Lm9yaWcJMjAyNi0wOS0y NSAxNDoyNDo0My4wMDAwMDAwMDAgLTA2MDAKKysrKyBjdmM1LWN2YzUtMS40LjEvdGVzdC9yZWdy ZXNzL2NsaS9DTWFrZUxpc3RzLnR4dAkyMDI2LTA5LTI2IDA3OjI2OjU0LjA0NDI0MTIyNyAtMDYw MAorQEAgLTQzNDAsNyArNDM0MCw3IEBAIHNldChyZWdyZXNzXzNfdGVzdHMKICAgIHJlZ3Jlc3Mz L2FyaXRoL2FiejVfMTQwMC5zbXR2MS5zbXQyCiAgICByZWdyZXNzMy9hcml0aF9wcnAtMTMtMjQu c210MgogICAgcmVncmVzczMvYXVmbGlhLWZ1enowNi5zbXR2MS5zbXQyCiAtICByZWdyZXNzMy9i YWdzL3JlZHVjZV9jb25zdGFudHNfZHVwLnNtdDIKLS0gIHJlZ3Jlc3MzL2JtYy1pYm0tMS5zbXR2 MS5zbXQyCiArICAjcmVncmVzczMvYmFncy9yZWR1Y2VfY29uc3RhbnRzX2R1cC5zbXQyCi0rICAj cmVncmVzczMvYm1jLWlibS0xLnNtdHYxLnNtdDIKICAgIHJlZ3Jlc3MzL2JtYy1pYm0tMi5zbXR2 MS5zbXQyCi0gICByZWdyZXNzMy9ibWMtaWJtLTUuc210djEuc210MgogICAgcmVncmVzczMvYm1j LWlibS03LnNtdHYxLnNtdDIKLUBAIC00MzIwLDcgKzQzMjAsNyBAQCBzZXQocmVncmVzc18zX3Rl c3RzCisgICByZWdyZXNzMy9idWcyLnNtdHYxLnNtdDIKK0BAIC00MzU0LDcgKzQzNTQsNyBAQCBz ZXQocmVncmVzc18zX3Rlc3RzCiAgICByZWdyZXNzMy9idi1jb3JlLWV4dF9jb25fMDA0XzAwMV8x MDI0LnNtdHYxLnNtdDIKICAgIHJlZ3Jlc3MzL2J2LWZ1enoxNS5zbXR2MS5zbXQyCiAgICByZWdy ZXNzMy9idi1mdXp6MTYuc210djEuc210MgpAQCAtMzMsNyArMzEsNyBAQAogICAgcmVncmVzczMv Y2VnaXN1bmlmLWRlcHRoMS5zeQogICAgcmVncmVzczMvZGVjaXNpb24tdWZsaWEteHMtMDktMTYt My00LTEtNS5zbXR2MS5zbXQyCiAgICByZWdyZXNzMy9EUkFHT05fMS5sdXMuc3kKLUBAIC00MzMz LDcgKzQzMzMsNyBAQCBzZXQocmVncmVzc18zX3Rlc3RzCitAQCAtNDM2Nyw3ICs0MzY3LDcgQEAg c2V0KHJlZ3Jlc3NfM190ZXN0cwogICAgcmVncmVzczMvaW50ZXJwb2wyLnNtdDIKICAgIHJlZ3Jl c3MzL2ludl9nZW5fbl9jMTEuc3kKICAgIHJlZ3Jlc3MzL2lzc3VlMTE2MTYuc210MgpAQCAtNDIs NyArNDAsNyBAQAogICAgcmVncmVzczMvaXNzdWU0NzA3LWJ2LXRvLWJvb2wtbGFyZ2Uuc210Mgog ICAgcmVncmVzczMvbHBzYXQtZ29hbC05LnNtdDIKICAgIHJlZ3Jlc3MzL25pYS1tYXgtc3F1YXJl LnN5Ci1AQCAtNDM0Niw3ICs0MzQ2LDcgQEAgc2V0KHJlZ3Jlc3NfM190ZXN0cworQEAgLTQzODAs NyArNDM4MCw3IEBAIHNldChyZWdyZXNzXzNfdGVzdHMKICAgIHJlZ3Jlc3MzL3F3aC4zNS40MDUu c2h1ZmZsZWQtYXMuc2F0MDMtMTY1MS5zbXR2MS5zbXQyCiAgICByZWdyZXNzMy9zaXhmdW5jcy5z eQogICAgcmVncmVzczMvc3BlY3NoYXJwLVdpbmRvd3NDYXJkLjE1LlJURS5UZXJtaW5hdGVfU3lz dGVtLkludDMyLnNtdDIKQEAgLTUxLDcgKzQ5LDcgQEAKICAgIHJlZ3Jlc3MzL3N0cmluZ3MvZXh0 Zl9kX3BlcmYuc210MgogICAgcmVncmVzczMvc3RyaW5ncy9pc3N1ZTg5MjYtc3lndXMtaW5zdC5z bXQyCiAgICByZWdyZXNzMy9zdHJpbmdzL25vcm4tZGlzLTA3MDctMy5zbXQyCi1AQCAtNDM2MCw5 ICs0MzYwLDkgQEAgc2V0KHJlZ3Jlc3NfM190ZXN0cworQEAgLTQzOTQsOSArNDM5NCw5IEBAIHNl dChyZWdyZXNzXzNfdGVzdHMKICBzZXQocmVncmVzc180X3Rlc3RzCiAgICByZWdyZXNzNC9idWcx NDMuc210djEuc210MgogICAgcmVncmVzczQvYnYvYWJzdHJhY3QvYWJ2LWtsZWUtc2VsZWN0LWlu ZGV4LnNtdDIKCmRpZmYgLS1naXQgYS9jdmM1LnNwZWMgYi9jdmM1LnNwZWMKaW5kZXggMTU1ODNi Ny4uNDRmZmFhMCAxMDA2NDQKLS0tIGEvY3ZjNS5zcGVjCisrKyBiL2N2YzUuc3BlYwpAQCAtMTIs NyArMTIsNyBAQAogJWdsb2JhbCBnaXR1cmwgIGh0dHBzOi8vZ2l0aHViLmNvbS9jdmM1L2N2YzUK IAogTmFtZTogICAgICAgICAgIGN2YzUKLVZlcnNpb246ICAgICAgICAxLjQuMAorVmVyc2lvbjog ICAgICAgIDEuNC4xCiBSZWxlYXNlOiAgICAgICAgJWF1dG9yZWxlYXNlCiBTdW1tYXJ5OiAgICAg ICAgQXV0b21hdGljIHRoZW9yZW0gcHJvdmVyIGZvciBTTVQgcHJvYmxlbXMKIAoKZGlmZiAtLWdp dCBhL3NvdXJjZXMgYi9zb3VyY2VzCmluZGV4IDc5YWNiOWEuLjZhMmJmM2EgMTAwNjQ0Ci0tLSBh L3NvdXJjZXMKKysrIGIvc291cmNlcwpAQCAtMSwyICsxLDIgQEAKLVNIQTUxMiAoY3ZjNS0xLjQu MC50YXIuZ3opID0gZWU5NTc4ODc4YzdlNTQxZjgyYTVmNmM5NTM1Y2Q0YmE3NjRmYjZkNWRjZGMw YmY2OWU1MGNkMzYwYjJiNTZiYzY2YWRjYTFmNmJhYmQ1OTcxYzUxNzU4MThiM2U3MTZjYjdiNDEx NDg4YWRjYmYyMDdlMjFhYzU5ZDBmZDZkODQKK1NIQTUxMiAoY3ZjNS0xLjQuMS50YXIuZ3opID0g NjZkNjgyYTEwMDhlNWNmYWMxNDI4NWI1NWUwZjU5YTcyNjIyMDRhMTBiNDkyYmFmZGIxYjI3Y2Qz MGU1NDk1NzAzZGY1YWUzOGJiN2ExNDIwZDEwNzA4MzFiN2UzYTA5OWQyMjRjOWFiOTA5MWU1Mzky ZjZjYzZhMzFhZmNkYTcKIFNIQTUxMiAoYTBkNmM3NWJjYTBkY2E0YTI2YzBkNTcwZTdiOTY5Mjcy YzlhN2RlMS56aXApID0gYzE0MzJiNzRiNDFiNGE2NDRjYzI2NzVjYzAwNDA4NzhkYzQwOTYzZjll NzhjNDU0MGZiMzljZDQxNjNkOGVhZWQ2OTM4ZWNmNjY0ZGMzYWZmNjUyZGJlZTA2ZTg4Mjk1ZDZh NzdjMDQwMzczNmE3N2EzYTlkNmM2ZDg5M2JlMDkK