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/gappalib-coq] rawhide: Rebuild for rocq 9.3.0 Date: Sun, 27 Sep 2026 04:03:04 GMT Message-ID: <179048178426.1.14760934667998831106.rpms-gappalib-coq-a42cb3ffe46d@fedoraproject.org> List-ID: X-Git-Repo: rpms/gappalib-coq X-Git-Branch: rawhide X-Git-Rev: a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92 QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvZ2FwcGFsaWItY29x CkJyYW5jaCA6IHJhd2hpZGUKQ29tbWl0IDogYTQyY2IzZmZlNDZkN2JkZTFkMmVkMTA2Y2E0YjM1 YjlkMDJhOGY5MgpBdXRob3IgOiBKZXJyeSBKYW1lcyA8bG9nYW5qZXJyeUBnbWFpbC5jb20+CkRh dGUgICA6IDIwMjYtMDktMjZUMjI6MDI6NTItMDY6MDAKU3RhdHMgIDogKzg0Ly0yIGluIDIgZmls ZShzKQpVUkwgICAgOiBodHRwczovL3NyYy5mZWRvcmFwcm9qZWN0Lm9yZy9ycG1zL2dhcHBhbGli LWNvcS9jL2E0MmNiM2ZmZTQ2ZDdiZGUxZDJlZDEwNmNhNGIzNWI5ZDAyYThmOTI/YnJhbmNoPXJh d2hpZGUKCkxvZzoKUmVidWlsZCBmb3Igcm9jcSA5LjMuMAoKLS0tCmRpZmYgLS1naXQgYS9nYXBw YWxpYi1jb3Etcm9jcTkuMy5wYXRjaCBiL2dhcHBhbGliLWNvcS1yb2NxOS4zLnBhdGNoCm5ldyBm aWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAuLjZkZTNmZTkKLS0tIC9kZXYvbnVsbAorKysg Yi9nYXBwYWxpYi1jb3Etcm9jcTkuMy5wYXRjaApAQCAtMCwwICsxLDgwIEBACistLS0gZ2FwcGFs aWItY29xLTEuMTEuMC9jb25maWd1cmUuaW4ub3JpZwkyMDI2LTA2LTAxIDAzOjE1OjA0LjAwMDAw MDAwMCAtMDYwMAorKysrIGdhcHBhbGliLWNvcS0xLjExLjAvY29uZmlndXJlLmluCTIwMjYtMDkt MjYgMjA6MDQ6NTguNjk3ODg2MDA4IC0wNjAwCitAQCAtNTAsNyArNTAsNyBAQCBBQ19NU0dfQ0hF Q0tJTkcoW2ZvciBGbG9jcSA+PSA0LjFdKQorIEFTX0lGKAorICAgWyBlY2hvICJGcm9tIEZsb2Nx IFJlcXVpcmUgSW1wb3J0IFZlcnNpb24uIiBcCisgICAgICAgICAgIkZyb20gQ29xIFJlcXVpcmUg SW1wb3J0IEJpbk5hdC4iIFwKKy0gICAgICAgICAiR29hbCAoNDAxMDAgPD0gRmxvY3FfdmVyc2lv biklTi4gZWFzeS4gUWVkLiIgPiBjb25mdGVzdC52CisrICAgICAgICAgIkdvYWwgKDQwMTAwIDw9 IEZsb2NxX3ZlcnNpb24pJU4uIFByb29mLiBlYXN5LiBRZWQuIiA+IGNvbmZ0ZXN0LnYKKyAgICAg JENPUUMgY29uZnRlc3QudiA+IGNvbmZ0ZXN0LmVyciBdLAorICAgWyBBQ19NU0dfUkVTVUxUKFt5 ZXNdKSBdLAorICAgWyBBQ19NU0dfUkVTVUxUKFtub10pCitAQCAtODUsNyArODUsNyBAQCBpZiB0 ZXN0ICIkbmF0aXZlX3RhY3RpYyIgPSB5ZXM7IHRoZW4KKyAgIEFDX01TR19DSEVDS0lORyhbZm9y IG5hdGl2ZSBkZXZlbG9wbWVudCBmaWxlc10pCisgICBBU19JRigKKyAgICAgWyBlY2hvICJsZXQg XyA9IChFdmQuZW1wdHksIEJpZ19pbnRfWi56ZXJvX2JpZ19pbnQpIiA+IGNvbmZ0ZXN0Lm1sCist ICAgICAgJE9DQU1MRklORCBvY2FtbG9wdCAtcmVjdHlwZXMgLXRocmVhZCAtcGFja2FnZSBjb3Et Y29yZS5lbmdpbmUgLXBhY2thZ2UgemFyaXRoIC1zaGFyZWQgY29uZnRlc3QubWwgLW8gY29uZnRl c3QuY214cyBdLAorKyAgICAgICRPQ0FNTEZJTkQgb2NhbWxvcHQgLXJlY3R5cGVzIC10aHJlYWQg LXBhY2thZ2Ugcm9jcS1ydW50aW1lLmVuZ2luZSAtcGFja2FnZSB6YXJpdGggLXNoYXJlZCBjb25m dGVzdC5tbCAtbyBjb25mdGVzdC5jbXhzIF0sCisgICAgIFsgQUNfTVNHX1JFU1VMVCh5ZXMpIF0s CisgICAgIFsgQUNfTVNHX1JFU1VMVChubykKKyAgICAgICBBQ19NU0dfRVJST1IoWyAqKiogRmFp bGVkIHRvIGNvbXBpbGUgYSBuYXRpdmUgT0NhbWwgbGlicmFyeSBdKSBdKQorQEAgLTk1LDcgKzk1 LDcgQEAgaWYgdGVzdCAiJGJ5dGVfdGFjdGljIiA9IHllczsgdGhlbgorICAgQUNfTVNHX0NIRUNL SU5HKFtmb3IgYnl0ZWNvZGUgZGV2ZWxvcG1lbnQgZmlsZXNdKQorICAgQVNfSUYoCisgICAgIFsg ZWNobyAibGV0IF8gPSAoRXZkLmVtcHR5LCBCaWdfaW50X1ouemVyb19iaWdfaW50KSIgPiBjb25m dGVzdC5tbAorLSAgICAgICRPQ0FNTEZJTkQgb2NhbWxjIC1yZWN0eXBlcyAtdGhyZWFkIC1wYWNr YWdlIGNvcS1jb3JlLmVuZ2luZSAtcGFja2FnZSB6YXJpdGggLWMgY29uZnRlc3QubWwgLW8gY29u ZnRlc3QuY21vIF0sCisrICAgICAgJE9DQU1MRklORCBvY2FtbGMgLXJlY3R5cGVzIC10aHJlYWQg LXBhY2thZ2Ugcm9jcS1ydW50aW1lLmVuZ2luZSAtcGFja2FnZSB6YXJpdGggLWMgY29uZnRlc3Qu bWwgLW8gY29uZnRlc3QuY21vIF0sCisgICAgIFsgQUNfTVNHX1JFU1VMVCh5ZXMpIF0sCisgICAg IFsgQUNfTVNHX1JFU1VMVChubykKKyAgICAgICBBQ19NU0dfRVJST1IoWyAqKiogRmFpbGVkIHRv IGNvbXBpbGUgYSBieXRlY29kZSBPQ2FtbCBsaWJyYXJ5IF0pIF0pCistLS0gZ2FwcGFsaWItY29x LTEuMTEuMC9jb25maWd1cmUub3JpZwkyMDI2LTA2LTAxIDAzOjE1OjA0LjAwMDAwMDAwMCAtMDYw MAorKysrIGdhcHBhbGliLWNvcS0xLjExLjAvY29uZmlndXJlCTIwMjYtMDktMjYgMjA6MDU6NDAu NjAxNDE3NDUyIC0wNjAwCitAQCAtMzY4NSw3ICszNjg1LDcgQEAgcHJpbnRmICIlc1xuIiAiJE9D QU1MTEVYIiA+JjY7IH0KKyBwcmludGYgJXMgImNoZWNraW5nIGZvciBGbG9jcSA+PSA0LjEuLi4g IiA+JjY7IH0KKyBpZiAgZWNobyAiRnJvbSBGbG9jcSBSZXF1aXJlIEltcG9ydCBWZXJzaW9uLiIg XAorICAgICAgICAgICJGcm9tIENvcSBSZXF1aXJlIEltcG9ydCBCaW5OYXQuIiBcCistICAgICAg ICAgIkdvYWwgKDQwMTAwIDw9IEZsb2NxX3ZlcnNpb24pJU4uIGVhc3kuIFFlZC4iID4gY29uZnRl c3QudgorKyAgICAgICAgICJHb2FsICg0MDEwMCA8PSBGbG9jcV92ZXJzaW9uKSVOLiBQcm9vZi4g ZWFzeS4gUWVkLiIgPiBjb25mdGVzdC52CisgICAgICRDT1FDIGNvbmZ0ZXN0LnYgPiBjb25mdGVz dC5lcnIKKyB0aGVuIDoKKyAgICB7IHByaW50ZiAiJXNcbiIgIiRhc19tZToke2FzX2xpbmVuby0k TElORU5PfTogcmVzdWx0OiB5ZXMiID4mNQorQEAgLTM3MzQsNyArMzczNCw3IEBAIGlmIHRlc3Qg IiRuYXRpdmVfdGFjdGljIiA9IHllczsgdGhlbgorICAgeyBwcmludGYgIiVzXG4iICIkYXNfbWU6 JHthc19saW5lbm8tJExJTkVOT306IGNoZWNraW5nIGZvciBuYXRpdmUgZGV2ZWxvcG1lbnQgZmls ZXMiID4mNQorIHByaW50ZiAlcyAiY2hlY2tpbmcgZm9yIG5hdGl2ZSBkZXZlbG9wbWVudCBmaWxl cy4uLiAiID4mNjsgfQorICAgaWYgIGVjaG8gImxldCBfID0gKEV2ZC5lbXB0eSwgQmlnX2ludF9a Lnplcm9fYmlnX2ludCkiID4gY29uZnRlc3QubWwKKy0gICAgICAkT0NBTUxGSU5EIG9jYW1sb3B0 IC1yZWN0eXBlcyAtdGhyZWFkIC1wYWNrYWdlIGNvcS1jb3JlLmVuZ2luZSAtcGFja2FnZSB6YXJp dGggLXNoYXJlZCBjb25mdGVzdC5tbCAtbyBjb25mdGVzdC5jbXhzCisrICAgICAgJE9DQU1MRklO RCBvY2FtbG9wdCAtcmVjdHlwZXMgLXRocmVhZCAtcGFja2FnZSByb2NxLXJ1bnRpbWUuZW5naW5l IC1wYWNrYWdlIHphcml0aCAtc2hhcmVkIGNvbmZ0ZXN0Lm1sIC1vIGNvbmZ0ZXN0LmNteHMKKyB0 aGVuIDoKKyAgICB7IHByaW50ZiAiJXNcbiIgIiRhc19tZToke2FzX2xpbmVuby0kTElORU5PfTog cmVzdWx0OiB5ZXMiID4mNQorIHByaW50ZiAiJXNcbiIgInllcyIgPiY2OyB9CitAQCAtMzc0OSw3 ICszNzQ5LDcgQEAgaWYgdGVzdCAiJGJ5dGVfdGFjdGljIiA9IHllczsgdGhlbgorICAgeyBwcmlu dGYgIiVzXG4iICIkYXNfbWU6JHthc19saW5lbm8tJExJTkVOT306IGNoZWNraW5nIGZvciBieXRl Y29kZSBkZXZlbG9wbWVudCBmaWxlcyIgPiY1CisgcHJpbnRmICVzICJjaGVja2luZyBmb3IgYnl0 ZWNvZGUgZGV2ZWxvcG1lbnQgZmlsZXMuLi4gIiA+JjY7IH0KKyAgIGlmICBlY2hvICJsZXQgXyA9 IChFdmQuZW1wdHksIEJpZ19pbnRfWi56ZXJvX2JpZ19pbnQpIiA+IGNvbmZ0ZXN0Lm1sCistICAg ICAgJE9DQU1MRklORCBvY2FtbGMgLXJlY3R5cGVzIC10aHJlYWQgLXBhY2thZ2UgY29xLWNvcmUu ZW5naW5lIC1wYWNrYWdlIHphcml0aCAtYyBjb25mdGVzdC5tbCAtbyBjb25mdGVzdC5jbW8KKysg ICAgICAkT0NBTUxGSU5EIG9jYW1sYyAtcmVjdHlwZXMgLXRocmVhZCAtcGFja2FnZSByb2NxLXJ1 bnRpbWUuZW5naW5lIC1wYWNrYWdlIHphcml0aCAtYyBjb25mdGVzdC5tbCAtbyBjb25mdGVzdC5j bW8KKyB0aGVuIDoKKyAgICB7IHByaW50ZiAiJXNcbiIgIiRhc19tZToke2FzX2xpbmVuby0kTElO RU5PfTogcmVzdWx0OiB5ZXMiID4mNQorIHByaW50ZiAiJXNcbiIgInllcyIgPiY2OyB9CistLS0g Z2FwcGFsaWItY29xLTEuMTEuMC9SZW1ha2VmaWxlLmluLm9yaWcJMjAyNi0wNi0wMSAwMzoxNTow NC4wMDAwMDAwMDAgLTA2MDAKKysrKyBnYXBwYWxpYi1jb3EtMS4xMS4wL1JlbWFrZWZpbGUuaW4J MjAyNi0wOS0yNiAyMDowNDoxMS43OTM5OTcyNTYgLTA2MDAKK0BAIC01MCw3ICs1MCw3IEBAIHRv b2xzL3ZkZXAuZXhlOiB0b29scy92ZGVwLm1sCisgCUBDT1FDQCBAQ09RRVhUUkFGTEFHU0AgLXEg LVIgc3JjIEdhcHBhIC1JIHNyYyAkPAorIAorIENPUVBLR1MgPSBjbGliIGVuZ2luZSBrZXJuZWwg aW50ZXJwIGxpYiBsaWJyYXJ5IHBhcnNpbmcgcHJldHlwaW5nIHByaW50aW5nIHByb29mcyB0YWN0 aWNzIHRvcGxldmVsIHZlcm5hYyBwbHVnaW5zLmx0YWMKKy1QQUNLQUdFUyA9ICQoYWRkcHJlZml4 IC1wYWNrYWdlIGNvcS1jb3JlLiwgJChDT1FQS0dTKSkgLXBhY2thZ2UgemFyaXRoCisrUEFDS0FH RVMgPSAkKGFkZHByZWZpeCAtcGFja2FnZSByb2NxLXJ1bnRpbWUuLCAkKENPUVBLR1MpKSAtcGFj a2FnZSB6YXJpdGgKKyAKKyBzcmMvZ2FwcGF0YWMubWw6IHNyYy9nYXBwYXRhYy5jIFJlbWFrZWZp bGUKKyAJQENQUEAgLURDT1FWRVJTSU9OPUBDT1FWRVJTSU9OQCAkPCAtbyAkQAorLS0tIGdhcHBh bGliLWNvcS0xLjExLjAvc3JjL01FVEEuY29xLWdhcHBhLm9yaWcJMjAyNi0wNi0wMSAwMzoxNTow NC4wMDAwMDAwMDAgLTA2MDAKKysrKyBnYXBwYWxpYi1jb3EtMS4xMS4wL3NyYy9NRVRBLmNvcS1n YXBwYQkyMDI2LTA5LTI2IDIwOjA2OjU2LjEzODIwODUzMyAtMDYwMAorQEAgLTEsNyArMSw3IEBA CisgcGFja2FnZSAidGFjdGljIiAoCisgICBkaXJlY3RvcnkgPSAiLiIKKyAgIGRlc2NyaXB0aW9u ID0gIkNvcSBHYXBwYSIKKy0gIHJlcXVpcmVzID0gImNvcS1jb3JlLnBsdWdpbnMubHRhYyIKKysg IHJlcXVpcmVzID0gInJvY3EtcnVudGltZS5wbHVnaW5zLmx0YWMiCisgICBhcmNoaXZlKGJ5dGUp ID0gImdhcHBhdGFjLmNtYSIKKyAgIGFyY2hpdmUobmF0aXZlKSA9ICJnYXBwYXRhYy5jbXhhIgor ICAgcGx1Z2luKGJ5dGUpID0gImdhcHBhdGFjLmNtYSIKCmRpZmYgLS1naXQgYS9nYXBwYWxpYi1j b3Euc3BlYyBiL2dhcHBhbGliLWNvcS5zcGVjCmluZGV4IGMwZmMxMzcuLjQ4MDUyNGQgMTAwNjQ0 Ci0tLSBhL2dhcHBhbGliLWNvcS5zcGVjCisrKyBiL2dhcHBhbGliLWNvcS5zcGVjCkBAIC0zLDcg KzMsNyBAQAogIyBpbnN0YWxsIHRoZSBwYWNrYWdlIGFuZCBydW4gInJlbWFrZSBjaGVjayIgbWFu dWFsbHkgYmVmb3JlIGNvbW1pdHRpbmcuCiAKICVnbG9iYWwgZ2FwcGFkaXIgJXtvY2FtbGRpcn0v Y29xL3VzZXItY29udHJpYi9HYXBwYQotJWdsb2JhbCByb2NxdmVyIDkuMi4wCislZ2xvYmFsIHJv Y3F2ZXIgOS4zLjAKIAogTmFtZTogICAgICAgICAgIGdhcHBhbGliLWNvcQogVmVyc2lvbjogICAg ICAgIDEuMTEuMApAQCAtMTQsNiArMTQsOCBAQCBMaWNlbnNlOiAgICAgICAgTEdQTC0zLjAtb3It bGF0ZXIKIFVSTDogICAgICAgICAgICBodHRwczovL2dhcHBhLmdpdGxhYnBhZ2VzLmlucmlhLmZy LwogVkNTOiAgICAgICAgICAgIGdpdDpodHRwczovL2dpdGxhYi5pbnJpYS5mci9nYXBwYS9jb3Eu Z2l0CiBTb3VyY2U6ICAgICAgICAgJXt1cmx9cmVsZWFzZXMvJXtuYW1lfS0le3ZlcnNpb259LnRh ci5negorIyBBZGFwdCB0byByb2NxIDkuMworUGF0Y2g6ICAgICAgICAgICV7bmFtZX0tcm9jcTku My5wYXRjaAogCiAjIENvcSdzIHBsdWdpbiBhcmNoaXRlY3R1cmUgcmVxdWlyZXMgY214cyBmaWxl cwogRXhjbHVzaXZlQXJjaDogICV7b2NhbWxfbmF0aXZlX2NvbXBpbGVyfQpAQCAtNTMsNyArNTUs NyBAQCBmaWxlcyBhcmUgbm90IG5lZWRlZCB0byB1c2UgZ2FwcGFsaWItY29xLiAgVGhleSBhcmUg bWFkZSBhdmFpbGFibGUgZm9yCiBpbmZvcm1hdGlvbmFsIHB1cnBvc2VzLgogCiAlcHJlcAotJWF1 dG9zZXR1cAorJWF1dG9zZXR1cCAtcDEKIAogJWNvbmYKICMgRW5hYmxlIGRlYnVnaW5mbwo=