From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=ALL_TRUSTED autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 15616 invoked from network); 13 Oct 2021 17:11:25 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 13 Oct 2021 17:11:25 -0000 Content-Type: multipart/mixed; boundary="===============7197207554335397247==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_New_math_packages=3A_cddlib=2C_singular?= To: ml@inbox.vuxu.org From: dkwo Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Wed, 13 Oct 2021 19:11:25 +0200 List-Id: Message-ID: <20211013171125.nJi4Op3Dvr1DfVwH3LqoeTfZw1xe8gYKQ_aIbka5COE@z> GitHub notification mails are now in MIME to allow UTF8. --===============7197207554335397247== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgZGt3byBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vZGt3by92 b2lkLXBhY2thZ2VzIGNkZApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2th Z2VzL3B1bGwvMzI4MjIKCk5ldyBtYXRoIHBhY2thZ2VzOiBjZGRsaWIsIHNpbmd1bGFyCk5ldyBt YXRoIHBhY2thZ2VzLCB1c2VmdWwgZm9yIHNhZ2VtYXRoCgotIE5ldyBwYWNrYWdlOiBjZGRsaWIK LSBOZXcgcGFja2FnZTogc2luZ3VsYXIKCkkgYnVpbHQgdGhlbSBvbiB4ODZfNjQKCgoKQSBwYXRj aCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9w dWxsLzMyODIyLnBhdGNoIGlzIGF0dGFjaGVk --===============7197207554335397247== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-cdd-32822.patch" RnJvbSBhZDBjZGY0ZDE2YmRmYzdmM2M1YmFiMTQ4MTljZWExODRlMTc0Y2Y0IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBka3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+CkRh dGU6IEZyaSwgMyBTZXAgMjAyMSAxNjozMjoxMiArMDIwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBO ZXcgcGFja2FnZTogY2RkbGliLTAuOTRtCgotLS0KIGNvbW1vbi9zaGxpYnMgICAgICAgICAgIHwg IDIgKysKIHNyY3BrZ3MvY2RkbGliL3RlbXBsYXRlIHwgMTIgKysrKysrKysrKysrCiAyIGZpbGVz IGNoYW5nZWQsIDE0IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL2Nk ZGxpYi90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL2NvbW1vbi9zaGxpYnMgYi9jb21tb24vc2hsaWJz CmluZGV4IDdhNGQ0ZWExNzk0ZC4uNTg0ZDMxNTYwNmEwIDEwMDY0NAotLS0gYS9jb21tb24vc2hs aWJzCisrKyBiL2NvbW1vbi9zaGxpYnMKQEAgLTQ3LDYgKzQ3LDggQEAgbGliU2VnRmF1bHQuc28g Z2xpYmMtMi4zMl8xCiBsaWJwY3Byb2ZpbGUuc28gZ2xpYmMtMi4zMl8xCiBsaWJjaWRuLnNvLjEg Z2xpYmMtMi4zMl8xCiBsaWJtdmVjLnNvLjEgZ2xpYmMtMi4zMl8xCitsaWJjZGRnbXAuc28uMCBj ZGRsaWItMC45NG1fMQorbGliY2RkLnNvLjAgY2RkbGliLTAuOTRtXzEKIGxpYnouc28uMSB6bGli LTEuMi4zXzEKIGxpYmIyLnNvLjEgbGliYjItMC45OC4xXzEKIGxpYmJ6Mi5zby4xIGJ6aXAyLTEu MC41XzEKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvY2RkbGliL3RlbXBsYXRlIGIvc3JjcGtncy9jZGRs aWIvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi4zNzc1 OWNmMDM2MWMKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL2NkZGxpYi90ZW1wbGF0ZQpAQCAt MCwwICsxLDEyIEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdjZGRsaWInCitwa2duYW1lPWNkZGxp YgordmVyc2lvbj0wLjk0bQorcmV2aXNpb249MQorYnVpbGRfc3R5bGU9Z251LWNvbmZpZ3VyZQor aG9zdG1ha2VkZXBlbmRzPSJnbXAtZGV2ZWwiCitzaG9ydF9kZXNjPSJFZmZpY2llbnQgaW1wbGVt ZW50YXRpb24gb2YgdGhlIERvdWJsZSBEZXNjcmlwdGlvbiBNZXRob2QiCittYWludGFpbmVyPSJk a3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+IgorbGljZW5zZT0iR1BMLTIuMC1vci1s YXRlciIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vY2RkbGliL2NkZGxpYiIKK2Rpc3Rm aWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL2NkZGxpYi9jZGRsaWIvcmVsZWFzZXMvZG93bmxvYWQv JHt2ZXJzaW9ufS9jZGRsaWItJHt2ZXJzaW9ufS50YXIuZ3oiCitjaGVja3N1bT03MGRmZmRiMzM2 OWI4NzA0ZGM3NTQyOGExYjNjNDJhYjkwNDdiODFjZTAzOWYxMmY0MjdlMmViMmIxYjBkZWUyCgpG cm9tIDQyM2YxNWNlN2RmMjg1NWEyZWQ4YjQ1MWVlZDM3Y2UxZjAwYTVmZTkgTW9uIFNlcCAxNyAw MDowMDowMCAyMDAxCkZyb206IGRrd28gPG5pY29sb3BpYXp6YWx1bmdhQGdtYWlsLmNvbT4KRGF0 ZTogRnJpLCAzIFNlcCAyMDIxIDE3OjQxOjAyICswMjAwClN1YmplY3Q6IFtQQVRDSCAyLzJdIE5l dyBwYWNrYWdlOiBzaW5ndWxhci00LjIuMQoKLS0tCiAuLi4vcGF0Y2hlcy91cHN0cmVhbV9vbWFs bG9jX25ld19tdXNsLnBhdGNoICAgfCA0MCArKysrKysrKysrKysrKysrKysrCiAuLi4vcGF0Y2hl cy91cHN0cmVhbV9wb2x5c190ZXN0X211c2wucGF0Y2ggICAgfCAyMiArKysrKysrKysrCiBzcmNw a2dzL3Npbmd1bGFyL3RlbXBsYXRlICAgICAgICAgICAgICAgICAgICAgfCAzNCArKysrKysrKysr KysrKysrCiAzIGZpbGVzIGNoYW5nZWQsIDk2IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEw MDY0NCBzcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJlYW1fb21hbGxvY19uZXdfbXVzbC5w YXRjaAogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0cmVh bV9wb2x5c190ZXN0X211c2wucGF0Y2gKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL3Npbmd1 bGFyL3RlbXBsYXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3Ry ZWFtX29tYWxsb2NfbmV3X211c2wucGF0Y2ggYi9zcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBz dHJlYW1fb21hbGxvY19uZXdfbXVzbC5wYXRjaApuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAw MDAwMDAwMDAwMDAuLjM1NDYwM2JiMmM0NAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3Mvc2lu Z3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9vbWFsbG9jX25ld19tdXNsLnBhdGNoCkBAIC0wLDAgKzEs NDAgQEAKK0Zyb20gZTE2NDMxMzU2NDVhM2NjOTdhZjg2NTkwMThkZWZkMmI4NjE3YmI0ZSBNb24g U2VwIDE3IDAwOjAwOjAwIDIwMDEKK0Zyb206IEhhbnMgU2Nob2VuZW1hbm4gPGhhbm5lc0BtYXRo ZW1hdGlrLnVuaS1rbC5kZT4KK0RhdGU6IFRodSwgMjMgU2VwIDIwMjEgMTA6NTc6MjUgKzAyMDAK K1N1YmplY3Q6IFtQQVRDSF0gb21hbGxvYzogZml4IGFsaWdubWVudCBzdHVmZiBmb3IgIm1ha2Ug Y2hlY2siCisKKy0tLQorIG9tYWxsb2Mvb210VGVzdC5jIHwgNiAtLS0tLS0KKyBvbWFsbG9jL29t dFRlc3QuaCB8IDIgKy0KKyAyIGZpbGVzIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCspLCA3IGRlbGV0 aW9ucygtKQorCitkaWZmIC0tZ2l0IGEvb21hbGxvYy9vbXRUZXN0LmMgYi9vbWFsbG9jL29tdFRl c3QuYworaW5kZXggNzE1ZmJiMTEzYy4uNzVjOGNkYjIxMCAxMDA2NDQKKy0tLSBhL29tYWxsb2Mv b210VGVzdC5jCisrKysgYi9vbWFsbG9jL29tdFRlc3QuYworQEAgLTcwLDEyICs3MCw2IEBAIHZv aWQgb210VGVzdERlYnVnKG9tTWVtQ2VsbCBjZWxsKQorICAgfQorIAorICAgaXNfc2l6ZSA9IG9t U2l6ZU9mQWRkcihjZWxsLT5hZGRyKTsKKy0gIGlmICghT01fSVNfQUxJR05FRChpc19zaXplKSkK Ky0gIHsKKy0gICAgb21SZXBvcnRFcnJvcihvbUVycm9yX1Vua25vd24sIG9tRXJyb3JfTm9FcnJv ciwgT01fRkxSLAorLSAgICAgICAgICAgICAgICAgICJpc19zaXplID09ICV1IGlzIHVuYWxpZ25l ZCIsIGlzX3NpemUpOworLSAgICByZXR1cm47CistICB9CisgICBpZiAoaXNfc2l6ZSA8IHNpemUp CisgICB7CisgICAgIG9tUmVwb3J0RXJyb3Iob21FcnJvcl9Vbmtub3duLCBvbUVycm9yX05vRXJy b3IsIE9NX0ZMUiwKK2RpZmYgLS1naXQgYS9vbWFsbG9jL29tdFRlc3QuaCBiL29tYWxsb2Mvb210 VGVzdC5oCitpbmRleCBhNTc5ZDg4MDExLi42ZmFhMDk5Yzg5IDEwMDY0NAorLS0tIGEvb21hbGxv Yy9vbXRUZXN0LmgKKysrKyBiL29tYWxsb2Mvb210VGVzdC5oCitAQCAtNDgsNyArNDgsNyBAQCB2 b2lkIFRlc3RGcmVlKG9tTWVtQ2VsbCBjZWxsKTsKKyAKKyAjZGVmaW5lIElTX1NUSUNLWV9CSU4o c3BlYykgKHNwZWMgJiAxKQorIC8vICNkZWZpbmUgSVNfU1RJQ0tZX0JJTihzcGVjKSAoMCkKKy0j ZGVmaW5lIEdFVF9TSVpFKHNwZWMpICAgICAgKHNwZWMgJiAoKCgodW5zaWduZWQgbG9uZykgMSkg PDwgMTQpIC0xKSkKKysjZGVmaW5lIEdFVF9TSVpFKHNwZWMpICAgICAgT01fQUxJR05fU0laRSgo c3BlYyAmICgoKCh1bnNpZ25lZCBsb25nKSAxKSA8PCAxNCkgLTEpKSkKKyAjZGVmaW5lIFNFVF9T SVpFKHNwZWMsIHNpemUpIHNwZWMgPSAoKHNwZWMgJiB+KCgoKHVuc2lnbmVkIGxvbmcpIDEpIDw8 IDE0KSAtMSkpIHwgKHNpemUpKQorICNkZWZpbmUgSVNfQUxJR05FRChzcGVjKSAgICAoc3BlYyAm ICgoKHVuc2lnbmVkIGxvbmcpIDEpIDw8IDE1KSkKKyAjZGVmaW5lIElTX1pFUk8oc3BlYykgICAg ICAgKHNwZWMgJiAoKCh1bnNpZ25lZCBsb25nKSAxKSA8PCAxNikpCmRpZmYgLS1naXQgYS9zcmNw a2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBhdGNoIGIvc3Jj cGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFtX3BvbHlzX3Rlc3RfbXVzbC5wYXRjaApuZXcg ZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLjczZWUwNjJlMmY4OQotLS0gL2Rl di9udWxsCisrKyBiL3NyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9wb2x5c190ZXN0 X211c2wucGF0Y2gKQEAgLTAsMCArMSwyMiBAQAorRnJvbSA2ZTIzODMxMTFhMThiMmZhMmQzNDIx MDQ1NjI1ZDFkNDI0ZWIxZTI1IE1vbiBTZXAgMTcgMDA6MDA6MDAgMjAwMQorRnJvbTogSGFucyBT Y2hvZW5lbWFubiA8aGFubmVzQG1hdGhlbWF0aWsudW5pLWtsLmRlPgorRGF0ZTogTW9uLCAyMCBT ZXAgMjAyMSAxNToxMzozNiArMDIwMAorU3ViamVjdDogW1BBVENIXSBmaXg6IG1ha2UgY2hlY2s6 IHBvbHlzX3Rlc3QKKworLS0tCisgbGlicG9seXMvdGVzdHMvcG9seXNfdGVzdC5oIHwgMiArLQor IDEgZmlsZSBjaGFuZ2VkLCAxIGluc2VydGlvbigrKSwgMSBkZWxldGlvbigtKQorCitkaWZmIC0t Z2l0IGEvbGlicG9seXMvdGVzdHMvcG9seXNfdGVzdC5oIGIvbGlicG9seXMvdGVzdHMvcG9seXNf dGVzdC5oCitpbmRleCA1NTI2YWE1YTZiLi41YjRjNTYxMjM4IDEwMDY0NAorLS0tIGEvbGlicG9s eXMvdGVzdHMvcG9seXNfdGVzdC5oCisrKysgYi9saWJwb2x5cy90ZXN0cy9wb2x5c190ZXN0LmgK K0BAIC0yNDgxLDcgKzI0ODEsNyBAQCBjbGFzcyBQb2x5c1Rlc3RTdWl0ZSA6IHB1YmxpYyBDeHhU ZXN0OjpUZXN0U3VpdGUKKyAgICAgeworICAgICAgIGZvciAoaW50IHFpID0gMDsgcWkgPD0gMTAw OyBxaSsrKQorICAgICAgIHsKKy0gICAgICAgIGludCBjID0gcmFuZCgpICUgMTAwMDAwMDsKKysg ICAgICAgIGludCBjID0gcmFuZCgpICUgMTAwMDAwMCsxOyAvKiBjIG11c3Qgbm90IGJlIDAgKi8K KyAgICAgICAgIHBvbHkgcXRlcm0gPSBwX0lTZXQoYywgcik7IHBfU2V0RXhwKHF0ZXJtLCAxLCBx aSwgcik7CisgICAgICAgICBwX1NldG0ocXRlcm0sIHIpOworICAgICAgICAgbnVtYmVyIHF0ZXJt QXNOID0gdG9GcmFjdGlvbk51bWJlcihxdGVybSwgY2YpOwpkaWZmIC0tZ2l0IGEvc3JjcGtncy9z aW5ndWxhci90ZW1wbGF0ZSBiL3NyY3BrZ3Mvc2luZ3VsYXIvdGVtcGxhdGUKbmV3IGZpbGUgbW9k ZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi4zYWFhODczMGFmMDIKLS0tIC9kZXYvbnVsbAor KysgYi9zcmNwa2dzL3Npbmd1bGFyL3RlbXBsYXRlCkBAIC0wLDAgKzEsMzQgQEAKKyMgVGVtcGxh dGUgZmlsZSBmb3IgJ3Npbmd1bGFyJworcGtnbmFtZT1zaW5ndWxhcgordmVyc2lvbj00LjIuMQor cmV2aXNpb249MQorYnVpbGRfc3R5bGU9Z251LWNvbmZpZ3VyZQorY29uZmlndXJlX2FyZ3M9Ii0t d2l0aC1yZWFkbGluZT1uY3Vyc2VzCisJLS1wcmVmaXg9L3VzcgorCS0tbGliZXhlY2Rpcj0vdXNy L2xpYgorCS0tZW5hYmxlLWdmYW5saWIKKwktLWVuYWJsZS1TaW5ndWxhcgorCS0tZW5hYmxlLWZh Y3RvcnkKKwktLWRpc2FibGUtZG9jCisJLS1kaXNhYmxlLXBvbHltYWtlCisJLS13aXRob3V0LXB5 dGhvbgorCS0td2l0aG91dC1weXRob25tb2R1bGUKKwktLWRpc2FibGUtcHl0aG9uCisJLS1kaXNh YmxlLXB5dGhvbl9tb2R1bGUKKwktLWRpc2FibGUtcHl0aG9uLW1vZHVsZQorCS0tZGlzYWJsZS1z dGF0aWMKKwktLXdpdGgtbGlicGFyc2UiCitob3N0bWFrZWRlcGVuZHM9InBlcmwgdGFyIGRveHln ZW4iCittYWtlZGVwZW5kcz0iZmxpbnRsaWItZGV2ZWwgY2RkbGliIHJlYWRsaW5lLWRldmVsIGdy YXBodml6Igorc2hvcnRfZGVzYz0iQ29tcHV0ZXIgYWxnZWJyYSBzeXN0ZW0gZm9yIHBvbHlub21p YWwgY29tcHV0YXRpb25zIgorbWFpbnRhaW5lcj0iZGt3byA8bmljb2xvcGlhenphbHVuZ2FAZ21h aWwuY29tPiIKK2xpY2Vuc2U9IkdQTC0yLjAtb3ItbGF0ZXIiCitob21lcGFnZT0iaHR0cHM6Ly93 d3cuc2luZ3VsYXIudW5pLWtsLmRlIgorZGlzdGZpbGVzPSJodHRwczovL3NlcnZpY2UubWF0aGVt YXRpay51bmkta2wuZGUvZnRwL3B1Yi9NYXRoL1Npbmd1bGFyL3NyYy8ke3ZlcnNpb24vLy4vLX0v c2luZ3VsYXItJHt2ZXJzaW9ufS50YXIuZ3oiCitjaGVja3N1bT0yOGE1NmRmODRmODViMTE2ZTAw NjhmZmVjZjkyZmJlMDhmYzI3YmQ0YzViYTkwMjk5N2YxYTM2N2RiMGJmZThkCisjIGZhaWxzIHRv IGNvbmZpZ3VyZSBmb3IgY3Jvc3MsIGJ1ZyB1cHN0cmVhbQorbm9fY3Jvc3M9eWVzCisKK2lmIFsg LXogIiRDUk9TU19CVUlMRCIgXTsgdGhlbgorCW1ha2VkZXBlbmRzKz0iIG50bC1kZXZlbCIKK2Zp Cg== --===============7197207554335397247==--