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 7206 invoked from network); 9 Nov 2021 12:15:58 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 9 Nov 2021 12:15:58 -0000 Content-Type: multipart/mixed; boundary="===============5937867464355469641==" 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 13:15:57 +0100 List-Id: Message-ID: <20211109121557.mizt_9NK2LKGK-31hqvFnllgRQOl-EZ1AkYMSD3Rors@z> GitHub notification mails are now in MIME to allow UTF8. --===============5937867464355469641== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgZGt3byBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vZGt3by92 b2lkLXBhY2thZ2VzIGNkZApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2th Z2VzL3B1bGwvMzI4MjIKCk5ldyBtYXRoIHBhY2thZ2VzOiBjZGRsaWIsIHNpbmd1bGFyCk5ldyBt YXRoIHBhY2thZ2VzLCB1c2VmdWwgZm9yIHNhZ2VtYXRoCgotIE5ldyBwYWNrYWdlOiBjZGRsaWIK LSBOZXcgcGFja2FnZTogc2luZ3VsYXIKCkkgYnVpbHQgdGhlbSBvbiB4ODZfNjQKCgoKQSBwYXRj aCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9w dWxsLzMyODIyLnBhdGNoIGlzIGF0dGFjaGVk --===============5937867464355469641== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-cdd-32822.patch" RnJvbSBhNjY1OWZjNmI3OGViMTU0YWZhOTljZTc1NWFiZDFmZWQ4YWQ5OThiIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBka3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+CkRh dGU6IEZyaSwgMyBTZXAgMjAyMSAxNjozMjoxMiArMDIwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBO ZXcgcGFja2FnZTogY2RkbGliLTAuOTRtCgotLS0KIGNvbW1vbi9zaGxpYnMgICAgICAgICAgIHwg IDIgKysKIHNyY3BrZ3MvY2RkbGliLWRldmVsICAgIHwgIDEgKwogc3JjcGtncy9jZGRsaWIvdGVt cGxhdGUgfCAyNCArKysrKysrKysrKysrKysrKysrKysrKysKIDMgZmlsZXMgY2hhbmdlZCwgMjcg aW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTIwMDAwIHNyY3BrZ3MvY2RkbGliLWRldmVsCiBj cmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9jZGRsaWIvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9j b21tb24vc2hsaWJzIGIvY29tbW9uL3NobGlicwppbmRleCA1MmMyZjE3YjcxOTguLjY4ZDkzNWE0 NzZhNCAxMDA2NDQKLS0tIGEvY29tbW9uL3NobGlicworKysgYi9jb21tb24vc2hsaWJzCkBAIC00 Nyw2ICs0Nyw4IEBAIGxpYlNlZ0ZhdWx0LnNvIGdsaWJjLTIuMzJfMQogbGlicGNwcm9maWxlLnNv IGdsaWJjLTIuMzJfMQogbGliY2lkbi5zby4xIGdsaWJjLTIuMzJfMQogbGlibXZlYy5zby4xIGds aWJjLTIuMzJfMQorbGliY2RkZ21wLnNvLjAgY2RkbGliLTAuOTRtXzEKK2xpYmNkZC5zby4wIGNk ZGxpYi0wLjk0bV8xCiBsaWJ6LnNvLjEgemxpYi0xLjIuM18xCiBsaWJiMi5zby4xIGxpYmIyLTAu OTguMV8xCiBsaWJiejIuc28uMSBiemlwMi0xLjAuNV8xCmRpZmYgLS1naXQgYS9zcmNwa2dzL2Nk ZGxpYi1kZXZlbCBiL3NyY3BrZ3MvY2RkbGliLWRldmVsCm5ldyBmaWxlIG1vZGUgMTIwMDAwCmlu ZGV4IDAwMDAwMDAwMDAwMC4uNDAxYWQwYTBiMWJjCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtn cy9jZGRsaWItZGV2ZWwKQEAgLTAsMCArMSBAQAorY2RkbGliClwgTm8gbmV3bGluZSBhdCBlbmQg b2YgZmlsZQpkaWZmIC0tZ2l0IGEvc3JjcGtncy9jZGRsaWIvdGVtcGxhdGUgYi9zcmNwa2dzL2Nk ZGxpYi90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLjdk ODQ3ZWZiZmU3ZAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvY2RkbGliL3RlbXBsYXRlCkBA IC0wLDAgKzEsMjQgQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3IgJ2NkZGxpYicKK3BrZ25hbWU9Y2Rk bGliCit2ZXJzaW9uPTAuOTRtCityZXZpc2lvbj0xCitidWlsZF9zdHlsZT1nbnUtY29uZmlndXJl CittYWtlZGVwZW5kcz0iZ21wLWRldmVsIgorc2hvcnRfZGVzYz0iRWZmaWNpZW50IGltcGxlbWVu dGF0aW9uIG9mIHRoZSBEb3VibGUgRGVzY3JpcHRpb24gTWV0aG9kIgorbWFpbnRhaW5lcj0iZGt3 byA8bmljb2xvcGlhenphbHVuZ2FAZ21haWwuY29tPiIKK2xpY2Vuc2U9IkdQTC0yLjAtb3ItbGF0 ZXIiCitob21lcGFnZT0iaHR0cHM6Ly9wZW9wbGUuaW5mLmV0aHouY2gvZnVrdWRhay9jZGRfaG9t ZS8iCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9jZGRsaWIvY2RkbGliL3JlbGVhc2Vz L2Rvd25sb2FkLyR7dmVyc2lvbn0vY2RkbGliLSR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09 NzBkZmZkYjMzNjliODcwNGRjNzU0MjhhMWIzYzQyYWI5MDQ3YjgxY2UwMzlmMTJmNDI3ZTJlYjJi MWIwZGVlMgorCitjZGRsaWItZGV2ZWxfcGFja2FnZSgpIHsKKwlzaG9ydF9kZXNjKz0iIC0gZGV2 ZWxvcG1lbnQgZmlsZXMiCisJZGVwZW5kcz0iJHtzb3VyY2Vwa2d9Pj0ke3ZlcnNpb259XyR7cmV2 aXNpb259IgorCXBrZ19pbnN0YWxsKCkgeworCQl2bW92ZSB1c3IvaW5jbHVkZQorCQl2bW92ZSAi dXNyL2xpYi8qLmEiCisJCXZtb3ZlICJ1c3IvbGliLyouc28iCisJCXZtb3ZlIHVzci9saWIvcGtn Y29uZmlnCisJCXZtb3ZlICJ1c3IvYmluL3Rlc3QqIgorCX0KK30KCkZyb20gZWNmYTEzY2FlOTJm MzhmY2ViZDRlMzM4YjNhMzJiM2VjOGE2MTcwMyBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJv bTogZGt3byA8bmljb2xvcGlhenphbHVuZ2FAZ21haWwuY29tPgpEYXRlOiBGcmksIDMgU2VwIDIw MjEgMTc6NDE6MDIgKzAyMDAKU3ViamVjdDogW1BBVENIIDIvMl0gTmV3IHBhY2thZ2U6IHNpbmd1 bGFyLTQuMi4xCgotLS0KIC4uLi9wYXRjaGVzL3Vwc3RyZWFtX29tYWxsb2NfbmV3X211c2wucGF0 Y2ggICB8IDQwICsrKysrKysrKysrKysrKysrKysKIC4uLi9wYXRjaGVzL3Vwc3RyZWFtX3BvbHlz X3Rlc3RfbXVzbC5wYXRjaCAgICB8IDIyICsrKysrKysrKysKIHNyY3BrZ3Mvc2luZ3VsYXIvdGVt cGxhdGUgICAgICAgICAgICAgICAgICAgICB8IDM0ICsrKysrKysrKysrKysrKysKIDMgZmlsZXMg Y2hhbmdlZCwgOTYgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3Mvc2lu Z3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9vbWFsbG9jX25ld19tdXNsLnBhdGNoCiBjcmVhdGUgbW9k ZSAxMDA2NDQgc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFtX3BvbHlzX3Rlc3RfbXVz bC5wYXRjaAogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3Mvc2luZ3VsYXIvdGVtcGxhdGUKCmRp ZmYgLS1naXQgYS9zcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJlYW1fb21hbGxvY19uZXdf bXVzbC5wYXRjaCBiL3NyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9vbWFsbG9jX25l d19tdXNsLnBhdGNoCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uMzU0 NjAzYmIyYzQ0Ci0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vw c3RyZWFtX29tYWxsb2NfbmV3X211c2wucGF0Y2gKQEAgLTAsMCArMSw0MCBAQAorRnJvbSBlMTY0 MzEzNTY0NWEzY2M5N2FmODY1OTAxOGRlZmQyYjg2MTdiYjRlIE1vbiBTZXAgMTcgMDA6MDA6MDAg MjAwMQorRnJvbTogSGFucyBTY2hvZW5lbWFubiA8aGFubmVzQG1hdGhlbWF0aWsudW5pLWtsLmRl PgorRGF0ZTogVGh1LCAyMyBTZXAgMjAyMSAxMDo1NzoyNSArMDIwMAorU3ViamVjdDogW1BBVENI XSBvbWFsbG9jOiBmaXggYWxpZ25tZW50IHN0dWZmIGZvciAibWFrZSBjaGVjayIKKworLS0tCisg b21hbGxvYy9vbXRUZXN0LmMgfCA2IC0tLS0tLQorIG9tYWxsb2Mvb210VGVzdC5oIHwgMiArLQor IDIgZmlsZXMgY2hhbmdlZCwgMSBpbnNlcnRpb24oKyksIDcgZGVsZXRpb25zKC0pCisKK2RpZmYg LS1naXQgYS9vbWFsbG9jL29tdFRlc3QuYyBiL29tYWxsb2Mvb210VGVzdC5jCitpbmRleCA3MTVm YmIxMTNjLi43NWM4Y2RiMjEwIDEwMDY0NAorLS0tIGEvb21hbGxvYy9vbXRUZXN0LmMKKysrKyBi L29tYWxsb2Mvb210VGVzdC5jCitAQCAtNzAsMTIgKzcwLDYgQEAgdm9pZCBvbXRUZXN0RGVidWco b21NZW1DZWxsIGNlbGwpCisgICB9CisgCisgICBpc19zaXplID0gb21TaXplT2ZBZGRyKGNlbGwt PmFkZHIpOworLSAgaWYgKCFPTV9JU19BTElHTkVEKGlzX3NpemUpKQorLSAgeworLSAgICBvbVJl cG9ydEVycm9yKG9tRXJyb3JfVW5rbm93biwgb21FcnJvcl9Ob0Vycm9yLCBPTV9GTFIsCistICAg ICAgICAgICAgICAgICAgImlzX3NpemUgPT0gJXUgaXMgdW5hbGlnbmVkIiwgaXNfc2l6ZSk7Cist ICAgIHJldHVybjsKKy0gIH0KKyAgIGlmIChpc19zaXplIDwgc2l6ZSkKKyAgIHsKKyAgICAgb21S ZXBvcnRFcnJvcihvbUVycm9yX1Vua25vd24sIG9tRXJyb3JfTm9FcnJvciwgT01fRkxSLAorZGlm ZiAtLWdpdCBhL29tYWxsb2Mvb210VGVzdC5oIGIvb21hbGxvYy9vbXRUZXN0LmgKK2luZGV4IGE1 NzlkODgwMTEuLjZmYWEwOTljODkgMTAwNjQ0CistLS0gYS9vbWFsbG9jL29tdFRlc3QuaAorKysr IGIvb21hbGxvYy9vbXRUZXN0LmgKK0BAIC00OCw3ICs0OCw3IEBAIHZvaWQgVGVzdEZyZWUob21N ZW1DZWxsIGNlbGwpOworIAorICNkZWZpbmUgSVNfU1RJQ0tZX0JJTihzcGVjKSAoc3BlYyAmIDEp CisgLy8gI2RlZmluZSBJU19TVElDS1lfQklOKHNwZWMpICgwKQorLSNkZWZpbmUgR0VUX1NJWkUo c3BlYykgICAgICAoc3BlYyAmICgoKCh1bnNpZ25lZCBsb25nKSAxKSA8PCAxNCkgLTEpKQorKyNk ZWZpbmUgR0VUX1NJWkUoc3BlYykgICAgICBPTV9BTElHTl9TSVpFKChzcGVjICYgKCgoKHVuc2ln bmVkIGxvbmcpIDEpIDw8IDE0KSAtMSkpKQorICNkZWZpbmUgU0VUX1NJWkUoc3BlYywgc2l6ZSkg c3BlYyA9ICgoc3BlYyAmIH4oKCgodW5zaWduZWQgbG9uZykgMSkgPDwgMTQpIC0xKSkgfCAoc2l6 ZSkpCisgI2RlZmluZSBJU19BTElHTkVEKHNwZWMpICAgIChzcGVjICYgKCgodW5zaWduZWQgbG9u ZykgMSkgPDwgMTUpKQorICNkZWZpbmUgSVNfWkVSTyhzcGVjKSAgICAgICAoc3BlYyAmICgoKHVu c2lnbmVkIGxvbmcpIDEpIDw8IDE2KSkKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mvc2luZ3VsYXIvcGF0 Y2hlcy91cHN0cmVhbV9wb2x5c190ZXN0X211c2wucGF0Y2ggYi9zcmNwa2dzL3Npbmd1bGFyL3Bh dGNoZXMvdXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBhdGNoCm5ldyBmaWxlIG1vZGUgMTAwNjQ0 CmluZGV4IDAwMDAwMDAwMDAwMC4uNzNlZTA2MmUyZjg5Ci0tLSAvZGV2L251bGwKKysrIGIvc3Jj cGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFtX3BvbHlzX3Rlc3RfbXVzbC5wYXRjaApAQCAt MCwwICsxLDIyIEBACitGcm9tIDZlMjM4MzExMWExOGIyZmEyZDM0MjEwNDU2MjVkMWQ0MjRlYjFl MjUgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAxCitGcm9tOiBIYW5zIFNjaG9lbmVtYW5uIDxoYW5u ZXNAbWF0aGVtYXRpay51bmkta2wuZGU+CitEYXRlOiBNb24sIDIwIFNlcCAyMDIxIDE1OjEzOjM2 ICswMjAwCitTdWJqZWN0OiBbUEFUQ0hdIGZpeDogbWFrZSBjaGVjazogcG9seXNfdGVzdAorCist LS0KKyBsaWJwb2x5cy90ZXN0cy9wb2x5c190ZXN0LmggfCAyICstCisgMSBmaWxlIGNoYW5nZWQs IDEgaW5zZXJ0aW9uKCspLCAxIGRlbGV0aW9uKC0pCisKK2RpZmYgLS1naXQgYS9saWJwb2x5cy90 ZXN0cy9wb2x5c190ZXN0LmggYi9saWJwb2x5cy90ZXN0cy9wb2x5c190ZXN0LmgKK2luZGV4IDU1 MjZhYTVhNmIuLjViNGM1NjEyMzggMTAwNjQ0CistLS0gYS9saWJwb2x5cy90ZXN0cy9wb2x5c190 ZXN0LmgKKysrKyBiL2xpYnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3QuaAorQEAgLTI0ODEsNyArMjQ4 MSw3IEBAIGNsYXNzIFBvbHlzVGVzdFN1aXRlIDogcHVibGljIEN4eFRlc3Q6OlRlc3RTdWl0ZQor ICAgICB7CisgICAgICAgZm9yIChpbnQgcWkgPSAwOyBxaSA8PSAxMDA7IHFpKyspCisgICAgICAg eworLSAgICAgICAgaW50IGMgPSByYW5kKCkgJSAxMDAwMDAwOworKyAgICAgICAgaW50IGMgPSBy YW5kKCkgJSAxMDAwMDAwKzE7IC8qIGMgbXVzdCBub3QgYmUgMCAqLworICAgICAgICAgcG9seSBx dGVybSA9IHBfSVNldChjLCByKTsgcF9TZXRFeHAocXRlcm0sIDEsIHFpLCByKTsKKyAgICAgICAg IHBfU2V0bShxdGVybSwgcik7CisgICAgICAgICBudW1iZXIgcXRlcm1Bc04gPSB0b0ZyYWN0aW9u TnVtYmVyKHF0ZXJtLCBjZik7CmRpZmYgLS1naXQgYS9zcmNwa2dzL3Npbmd1bGFyL3RlbXBsYXRl IGIvc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAw MDAwMDAwMDAwMDAuLjk5OTZhMmRiNTM1YQotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3Mvc2lu Z3VsYXIvdGVtcGxhdGUKQEAgLTAsMCArMSwzNCBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAnc2lu Z3VsYXInCitwa2duYW1lPXNpbmd1bGFyCit2ZXJzaW9uPTQuMi4xCityZXZpc2lvbj0xCitidWls ZF9zdHlsZT1nbnUtY29uZmlndXJlCitjb25maWd1cmVfYXJncz0iLS13aXRoLXJlYWRsaW5lPW5j dXJzZXMKKyMJLS1wcmVmaXg9L3VzcgorIwktLWxpYmV4ZWNkaXI9L3Vzci9saWIKKwktLWVuYWJs ZS1nZmFubGliCisJLS1lbmFibGUtU2luZ3VsYXIKKwktLWVuYWJsZS1mYWN0b3J5CisJLS1kaXNh YmxlLWRvYworCS0tZGlzYWJsZS1wb2x5bWFrZQorCS0td2l0aG91dC1weXRob24KKyMJLS13aXRo b3V0LXB5dGhvbm1vZHVsZQorIwktLWRpc2FibGUtcHl0aG9uCisjCS0tZGlzYWJsZS1weXRob25f bW9kdWxlCisjCS0tZGlzYWJsZS1weXRob24tbW9kdWxlCisjCS0tZGlzYWJsZS1zdGF0aWMKKwkt LXdpdGgtbGlicGFyc2UKKwlhY19jdl9saWJfY2RkZ21wX2RkX2ZyZWVfZ2xvYmFsX2NvbnN0YW50 cz15ZXMiCitob3N0bWFrZWRlcGVuZHM9InBlcmwgdGFyIGRveHlnZW4iCittYWtlZGVwZW5kcz0i ZmxpbnRsaWItZGV2ZWwgY2RkbGliLWRldmVsIHJlYWRsaW5lLWRldmVsIGdyYXBodml6Igorc2hv cnRfZGVzYz0iQ29tcHV0ZXIgYWxnZWJyYSBzeXN0ZW0gZm9yIHBvbHlub21pYWwgY29tcHV0YXRp b25zIgorbWFpbnRhaW5lcj0iZGt3byA8bmljb2xvcGlhenphbHVuZ2FAZ21haWwuY29tPiIKK2xp Y2Vuc2U9IkdQTC0yLjAtb3ItbGF0ZXIiCitob21lcGFnZT0iaHR0cHM6Ly93d3cuc2luZ3VsYXIu dW5pLWtsLmRlIgorZGlzdGZpbGVzPSJodHRwczovL3NlcnZpY2UubWF0aGVtYXRpay51bmkta2wu ZGUvZnRwL3B1Yi9NYXRoL1Npbmd1bGFyL3NyYy8ke3ZlcnNpb24vLy4vLX0vc2luZ3VsYXItJHt2 ZXJzaW9ufS50YXIuZ3oiCitjaGVja3N1bT0yOGE1NmRmODRmODViMTE2ZTAwNjhmZmVjZjkyZmJl MDhmYzI3YmQ0YzViYTkwMjk5N2YxYTM2N2RiMGJmZThkCisjIG5vY3Jvc3M9ImZhaWxzIHRvIGNv bmZpZ3VyZSwgYnVnIHVwc3RyZWFtIgorCitpZiBbIC16ICIkQ1JPU1NfQlVJTEQiIF07IHRoZW4K KwltYWtlZGVwZW5kcys9IiBudGwtZGV2ZWwiCitmaQo= --===============5937867464355469641==--