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 28802 invoked from network); 9 Nov 2021 10:43:25 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 9 Nov 2021 10:43:25 -0000 Content-Type: multipart/mixed; boundary="===============7859476817550123129==" 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: Tue, 09 Nov 2021 11:43:25 +0100 List-Id: Message-ID: <20211109104325.zP0y_1dYDm2LGPbOadyr3ju9SAhtFMHqfFjWu2pSOEo@z> GitHub notification mails are now in MIME to allow UTF8. --===============7859476817550123129== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgZGt3byBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vZGt3by92 b2lkLXBhY2thZ2VzIGNkZApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2th Z2VzL3B1bGwvMzI4MjIKCk5ldyBtYXRoIHBhY2thZ2VzOiBjZGRsaWIsIHNpbmd1bGFyCk5ldyBt YXRoIHBhY2thZ2VzLCB1c2VmdWwgZm9yIHNhZ2VtYXRoCgotIE5ldyBwYWNrYWdlOiBjZGRsaWIK LSBOZXcgcGFja2FnZTogc2luZ3VsYXIKCkkgYnVpbHQgdGhlbSBvbiB4ODZfNjQKCgoKQSBwYXRj aCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9w dWxsLzMyODIyLnBhdGNoIGlzIGF0dGFjaGVk --===============7859476817550123129== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-cdd-32822.patch" RnJvbSA3N2UxMmI5YTJhOTNiNjRiMmI4ZWEwMjE0MzcwOGQzNmFjZTg2NDk5IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBka3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+CkRh dGU6IEZyaSwgMyBTZXAgMjAyMSAxNjozMjoxMiArMDIwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBO ZXcgcGFja2FnZTogY2RkbGliLTAuOTRtCgotLS0KIGNvbW1vbi9zaGxpYnMgICAgICAgICAgIHwg IDIgKysKIHNyY3BrZ3MvY2RkbGliLWRldmVsICAgIHwgIDEgKwogc3JjcGtncy9jZGRsaWIvdGVt cGxhdGUgfCAyMyArKysrKysrKysrKysrKysrKysrKysrKwogMyBmaWxlcyBjaGFuZ2VkLCAyNiBp bnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMjAwMDAgc3JjcGtncy9jZGRsaWItZGV2ZWwKIGNy ZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL2NkZGxpYi90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL2Nv bW1vbi9zaGxpYnMgYi9jb21tb24vc2hsaWJzCmluZGV4IDUyYzJmMTdiNzE5OC4uNjhkOTM1YTQ3 NmE0IDEwMDY0NAotLS0gYS9jb21tb24vc2hsaWJzCisrKyBiL2NvbW1vbi9zaGxpYnMKQEAgLTQ3 LDYgKzQ3LDggQEAgbGliU2VnRmF1bHQuc28gZ2xpYmMtMi4zMl8xCiBsaWJwY3Byb2ZpbGUuc28g Z2xpYmMtMi4zMl8xCiBsaWJjaWRuLnNvLjEgZ2xpYmMtMi4zMl8xCiBsaWJtdmVjLnNvLjEgZ2xp YmMtMi4zMl8xCitsaWJjZGRnbXAuc28uMCBjZGRsaWItMC45NG1fMQorbGliY2RkLnNvLjAgY2Rk bGliLTAuOTRtXzEKIGxpYnouc28uMSB6bGliLTEuMi4zXzEKIGxpYmIyLnNvLjEgbGliYjItMC45 OC4xXzEKIGxpYmJ6Mi5zby4xIGJ6aXAyLTEuMC41XzEKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvY2Rk bGliLWRldmVsIGIvc3JjcGtncy9jZGRsaWItZGV2ZWwKbmV3IGZpbGUgbW9kZSAxMjAwMDAKaW5k ZXggMDAwMDAwMDAwMDAwLi40MDFhZDBhMGIxYmMKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dz L2NkZGxpYi1kZXZlbApAQCAtMCwwICsxIEBACitjZGRsaWIKXCBObyBuZXdsaW5lIGF0IGVuZCBv ZiBmaWxlCmRpZmYgLS1naXQgYS9zcmNwa2dzL2NkZGxpYi90ZW1wbGF0ZSBiL3NyY3BrZ3MvY2Rk bGliL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uMzlj Y2ZhZTkyYWM2Ci0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9jZGRsaWIvdGVtcGxhdGUKQEAg LTAsMCArMSwyMyBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAnY2RkbGliJworcGtnbmFtZT1jZGRs aWIKK3ZlcnNpb249MC45NG0KK3JldmlzaW9uPTEKK2J1aWxkX3N0eWxlPWdudS1jb25maWd1cmUK K2hvc3RtYWtlZGVwZW5kcz0iZ21wLWRldmVsIgorc2hvcnRfZGVzYz0iRWZmaWNpZW50IGltcGxl bWVudGF0aW9uIG9mIHRoZSBEb3VibGUgRGVzY3JpcHRpb24gTWV0aG9kIgorbWFpbnRhaW5lcj0i ZGt3byA8bmljb2xvcGlhenphbHVuZ2FAZ21haWwuY29tPiIKK2xpY2Vuc2U9IkdQTC0yLjAtb3It bGF0ZXIiCitob21lcGFnZT0iaHR0cHM6Ly9wZW9wbGUuaW5mLmV0aHouY2gvZnVrdWRhay9jZGRf aG9tZS8iCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9jZGRsaWIvY2RkbGliL3JlbGVh c2VzL2Rvd25sb2FkLyR7dmVyc2lvbn0vY2RkbGliLSR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tz dW09NzBkZmZkYjMzNjliODcwNGRjNzU0MjhhMWIzYzQyYWI5MDQ3YjgxY2UwMzlmMTJmNDI3ZTJl YjJiMWIwZGVlMgorCitjZGRsaWItZGV2ZWxfcGFja2FnZSgpIHsKKwlzaG9ydF9kZXNjKz0iIC0g ZGV2ZWxvcG1lbnQgZmlsZXMiCisJZGVwZW5kcz0iJHtzb3VyY2Vwa2d9Pj0ke3ZlcnNpb259XyR7 cmV2aXNpb259IgorCXBrZ19pbnN0YWxsKCkgeworCQl2bW92ZSB1c3IvaW5jbHVkZQorCQl2bW92 ZSAidXNyL2xpYi8qLmEiCisJCXZtb3ZlICJ1c3IvbGliLyouc28iCisJCXZtb3ZlIHVzci9saWIv cGtnY29uZmlnCisJfQorfQoKRnJvbSBhNTgwM2I3OGY5ZGJmMjU3OGRjYjcyMjI3MDVhNWYyYWI4 ZjczMjcwIE1vbiBTZXAgMTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBka3dvIDxuaWNvbG9waWF6emFs dW5nYUBnbWFpbC5jb20+CkRhdGU6IEZyaSwgMyBTZXAgMjAyMSAxNzo0MTowMiArMDIwMApTdWJq ZWN0OiBbUEFUQ0ggMi8yXSBOZXcgcGFja2FnZTogc2luZ3VsYXItNC4yLjEKCi0tLQogLi4uL3Bh dGNoZXMvdXBzdHJlYW1fb21hbGxvY19uZXdfbXVzbC5wYXRjaCAgIHwgNDAgKysrKysrKysrKysr KysrKysrKwogLi4uL3BhdGNoZXMvdXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBhdGNoICAgIHwg MjIgKysrKysrKysrKwogc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZSAgICAgICAgICAgICAgICAg ICAgIHwgMzQgKysrKysrKysrKysrKysrKwogMyBmaWxlcyBjaGFuZ2VkLCA5NiBpbnNlcnRpb25z KCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFt X29tYWxsb2NfbmV3X211c2wucGF0Y2gKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL3Npbmd1 bGFyL3BhdGNoZXMvdXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBhdGNoCiBjcmVhdGUgbW9kZSAx MDA2NDQgc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mvc2lu Z3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9vbWFsbG9jX25ld19tdXNsLnBhdGNoIGIvc3JjcGtncy9z aW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFtX29tYWxsb2NfbmV3X211c2wucGF0Y2gKbmV3IGZpbGUg bW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi4zNTQ2MDNiYjJjNDQKLS0tIC9kZXYvbnVs bAorKysgYi9zcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJlYW1fb21hbGxvY19uZXdfbXVz bC5wYXRjaApAQCAtMCwwICsxLDQwIEBACitGcm9tIGUxNjQzMTM1NjQ1YTNjYzk3YWY4NjU5MDE4 ZGVmZDJiODYxN2JiNGUgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAxCitGcm9tOiBIYW5zIFNjaG9l bmVtYW5uIDxoYW5uZXNAbWF0aGVtYXRpay51bmkta2wuZGU+CitEYXRlOiBUaHUsIDIzIFNlcCAy MDIxIDEwOjU3OjI1ICswMjAwCitTdWJqZWN0OiBbUEFUQ0hdIG9tYWxsb2M6IGZpeCBhbGlnbm1l bnQgc3R1ZmYgZm9yICJtYWtlIGNoZWNrIgorCistLS0KKyBvbWFsbG9jL29tdFRlc3QuYyB8IDYg LS0tLS0tCisgb21hbGxvYy9vbXRUZXN0LmggfCAyICstCisgMiBmaWxlcyBjaGFuZ2VkLCAxIGlu c2VydGlvbigrKSwgNyBkZWxldGlvbnMoLSkKKworZGlmZiAtLWdpdCBhL29tYWxsb2Mvb210VGVz dC5jIGIvb21hbGxvYy9vbXRUZXN0LmMKK2luZGV4IDcxNWZiYjExM2MuLjc1YzhjZGIyMTAgMTAw NjQ0CistLS0gYS9vbWFsbG9jL29tdFRlc3QuYworKysrIGIvb21hbGxvYy9vbXRUZXN0LmMKK0BA IC03MCwxMiArNzAsNiBAQCB2b2lkIG9tdFRlc3REZWJ1ZyhvbU1lbUNlbGwgY2VsbCkKKyAgIH0K KyAKKyAgIGlzX3NpemUgPSBvbVNpemVPZkFkZHIoY2VsbC0+YWRkcik7CistICBpZiAoIU9NX0lT X0FMSUdORUQoaXNfc2l6ZSkpCistICB7CistICAgIG9tUmVwb3J0RXJyb3Iob21FcnJvcl9Vbmtu b3duLCBvbUVycm9yX05vRXJyb3IsIE9NX0ZMUiwKKy0gICAgICAgICAgICAgICAgICAiaXNfc2l6 ZSA9PSAldSBpcyB1bmFsaWduZWQiLCBpc19zaXplKTsKKy0gICAgcmV0dXJuOworLSAgfQorICAg aWYgKGlzX3NpemUgPCBzaXplKQorICAgeworICAgICBvbVJlcG9ydEVycm9yKG9tRXJyb3JfVW5r bm93biwgb21FcnJvcl9Ob0Vycm9yLCBPTV9GTFIsCitkaWZmIC0tZ2l0IGEvb21hbGxvYy9vbXRU ZXN0LmggYi9vbWFsbG9jL29tdFRlc3QuaAoraW5kZXggYTU3OWQ4ODAxMS4uNmZhYTA5OWM4OSAx MDA2NDQKKy0tLSBhL29tYWxsb2Mvb210VGVzdC5oCisrKysgYi9vbWFsbG9jL29tdFRlc3QuaAor QEAgLTQ4LDcgKzQ4LDcgQEAgdm9pZCBUZXN0RnJlZShvbU1lbUNlbGwgY2VsbCk7CisgCisgI2Rl ZmluZSBJU19TVElDS1lfQklOKHNwZWMpIChzcGVjICYgMSkKKyAvLyAjZGVmaW5lIElTX1NUSUNL WV9CSU4oc3BlYykgKDApCistI2RlZmluZSBHRVRfU0laRShzcGVjKSAgICAgIChzcGVjICYgKCgo KHVuc2lnbmVkIGxvbmcpIDEpIDw8IDE0KSAtMSkpCisrI2RlZmluZSBHRVRfU0laRShzcGVjKSAg ICAgIE9NX0FMSUdOX1NJWkUoKHNwZWMgJiAoKCgodW5zaWduZWQgbG9uZykgMSkgPDwgMTQpIC0x KSkpCisgI2RlZmluZSBTRVRfU0laRShzcGVjLCBzaXplKSBzcGVjID0gKChzcGVjICYgfigoKCh1 bnNpZ25lZCBsb25nKSAxKSA8PCAxNCkgLTEpKSB8IChzaXplKSkKKyAjZGVmaW5lIElTX0FMSUdO RUQoc3BlYykgICAgKHNwZWMgJiAoKCh1bnNpZ25lZCBsb25nKSAxKSA8PCAxNSkpCisgI2RlZmlu ZSBJU19aRVJPKHNwZWMpICAgICAgIChzcGVjICYgKCgodW5zaWduZWQgbG9uZykgMSkgPDwgMTYp KQpkaWZmIC0tZ2l0IGEvc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFtX3BvbHlzX3Rl c3RfbXVzbC5wYXRjaCBiL3NyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9wb2x5c190 ZXN0X211c2wucGF0Y2gKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi43 M2VlMDYyZTJmODkKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMv dXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBhdGNoCkBAIC0wLDAgKzEsMjIgQEAKK0Zyb20gNmUy MzgzMTExYTE4YjJmYTJkMzQyMTA0NTYyNWQxZDQyNGViMWUyNSBNb24gU2VwIDE3IDAwOjAwOjAw IDIwMDEKK0Zyb206IEhhbnMgU2Nob2VuZW1hbm4gPGhhbm5lc0BtYXRoZW1hdGlrLnVuaS1rbC5k ZT4KK0RhdGU6IE1vbiwgMjAgU2VwIDIwMjEgMTU6MTM6MzYgKzAyMDAKK1N1YmplY3Q6IFtQQVRD SF0gZml4OiBtYWtlIGNoZWNrOiBwb2x5c190ZXN0CisKKy0tLQorIGxpYnBvbHlzL3Rlc3RzL3Bv bHlzX3Rlc3QuaCB8IDIgKy0KKyAxIGZpbGUgY2hhbmdlZCwgMSBpbnNlcnRpb24oKyksIDEgZGVs ZXRpb24oLSkKKworZGlmZiAtLWdpdCBhL2xpYnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3QuaCBiL2xp YnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3QuaAoraW5kZXggNTUyNmFhNWE2Yi4uNWI0YzU2MTIzOCAx MDA2NDQKKy0tLSBhL2xpYnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3QuaAorKysrIGIvbGlicG9seXMv dGVzdHMvcG9seXNfdGVzdC5oCitAQCAtMjQ4MSw3ICsyNDgxLDcgQEAgY2xhc3MgUG9seXNUZXN0 U3VpdGUgOiBwdWJsaWMgQ3h4VGVzdDo6VGVzdFN1aXRlCisgICAgIHsKKyAgICAgICBmb3IgKGlu dCBxaSA9IDA7IHFpIDw9IDEwMDsgcWkrKykKKyAgICAgICB7CistICAgICAgICBpbnQgYyA9IHJh bmQoKSAlIDEwMDAwMDA7CisrICAgICAgICBpbnQgYyA9IHJhbmQoKSAlIDEwMDAwMDArMTsgLyog YyBtdXN0IG5vdCBiZSAwICovCisgICAgICAgICBwb2x5IHF0ZXJtID0gcF9JU2V0KGMsIHIpOyBw X1NldEV4cChxdGVybSwgMSwgcWksIHIpOworICAgICAgICAgcF9TZXRtKHF0ZXJtLCByKTsKKyAg ICAgICAgIG51bWJlciBxdGVybUFzTiA9IHRvRnJhY3Rpb25OdW1iZXIocXRlcm0sIGNmKTsKZGlm ZiAtLWdpdCBhL3NyY3BrZ3Mvc2luZ3VsYXIvdGVtcGxhdGUgYi9zcmNwa2dzL3Npbmd1bGFyL3Rl bXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uOTk5NmEyZGI1 MzVhCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZQpAQCAtMCww ICsxLDM0IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdzaW5ndWxhcicKK3BrZ25hbWU9c2luZ3Vs YXIKK3ZlcnNpb249NC4yLjEKK3JldmlzaW9uPTEKK2J1aWxkX3N0eWxlPWdudS1jb25maWd1cmUK K2NvbmZpZ3VyZV9hcmdzPSItLXdpdGgtcmVhZGxpbmU9bmN1cnNlcworIwktLXByZWZpeD0vdXNy CisjCS0tbGliZXhlY2Rpcj0vdXNyL2xpYgorCS0tZW5hYmxlLWdmYW5saWIKKwktLWVuYWJsZS1T aW5ndWxhcgorCS0tZW5hYmxlLWZhY3RvcnkKKwktLWRpc2FibGUtZG9jCisJLS1kaXNhYmxlLXBv bHltYWtlCisJLS13aXRob3V0LXB5dGhvbgorIwktLXdpdGhvdXQtcHl0aG9ubW9kdWxlCisjCS0t ZGlzYWJsZS1weXRob24KKyMJLS1kaXNhYmxlLXB5dGhvbl9tb2R1bGUKKyMJLS1kaXNhYmxlLXB5 dGhvbi1tb2R1bGUKKyMJLS1kaXNhYmxlLXN0YXRpYworCS0td2l0aC1saWJwYXJzZQorCWFjX2N2 X2xpYl9jZGRnbXBfZGRfZnJlZV9nbG9iYWxfY29uc3RhbnRzPXllcyIKK2hvc3RtYWtlZGVwZW5k cz0icGVybCB0YXIgZG94eWdlbiIKK21ha2VkZXBlbmRzPSJmbGludGxpYi1kZXZlbCBjZGRsaWIt ZGV2ZWwgcmVhZGxpbmUtZGV2ZWwgZ3JhcGh2aXoiCitzaG9ydF9kZXNjPSJDb21wdXRlciBhbGdl YnJhIHN5c3RlbSBmb3IgcG9seW5vbWlhbCBjb21wdXRhdGlvbnMiCittYWludGFpbmVyPSJka3dv IDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+IgorbGljZW5zZT0iR1BMLTIuMC1vci1sYXRl ciIKK2hvbWVwYWdlPSJodHRwczovL3d3dy5zaW5ndWxhci51bmkta2wuZGUiCitkaXN0ZmlsZXM9 Imh0dHBzOi8vc2VydmljZS5tYXRoZW1hdGlrLnVuaS1rbC5kZS9mdHAvcHViL01hdGgvU2luZ3Vs YXIvc3JjLyR7dmVyc2lvbi8vLi8tfS9zaW5ndWxhci0ke3ZlcnNpb259LnRhci5neiIKK2NoZWNr c3VtPTI4YTU2ZGY4NGY4NWIxMTZlMDA2OGZmZWNmOTJmYmUwOGZjMjdiZDRjNWJhOTAyOTk3ZjFh MzY3ZGIwYmZlOGQKKyMgbm9jcm9zcz0iZmFpbHMgdG8gY29uZmlndXJlLCBidWcgdXBzdHJlYW0i CisKK2lmIFsgLXogIiRDUk9TU19CVUlMRCIgXTsgdGhlbgorCW1ha2VkZXBlbmRzKz0iIG50bC1k ZXZlbCIKK2ZpCg== --===============7859476817550123129==--