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 16049 invoked from network); 13 Oct 2021 17:15:18 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 13 Oct 2021 17:15:18 -0000 Content-Type: multipart/mixed; boundary="===============0054449791422805085==" 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:15:18 +0200 List-Id: Message-ID: <20211013171518.qVCFLm_xVgwVJiWUnQnVONQmxWejavKciKw1O3vjwz4@z> GitHub notification mails are now in MIME to allow UTF8. --===============0054449791422805085== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgZGt3byBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vZGt3by92 b2lkLXBhY2thZ2VzIGNkZApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2th Z2VzL3B1bGwvMzI4MjIKCk5ldyBtYXRoIHBhY2thZ2VzOiBjZGRsaWIsIHNpbmd1bGFyCk5ldyBt YXRoIHBhY2thZ2VzLCB1c2VmdWwgZm9yIHNhZ2VtYXRoCgotIE5ldyBwYWNrYWdlOiBjZGRsaWIK LSBOZXcgcGFja2FnZTogc2luZ3VsYXIKCkkgYnVpbHQgdGhlbSBvbiB4ODZfNjQKCgoKQSBwYXRj aCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9w dWxsLzMyODIyLnBhdGNoIGlzIGF0dGFjaGVk --===============0054449791422805085== 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 cm9tIDA4Y2VhZGI5M2ViMjM0ODUxMjc4YzFjYjQzZjc2YWNjMGRkMzYzYWYgTW9uIFNlcCAxNyAw MDowMDowMCAyMDAxCkZyb206IGRrd28gPG5pY29sb3BpYXp6YWx1bmdhQGdtYWlsLmNvbT4KRGF0 ZTogRnJpLCAzIFNlcCAyMDIxIDE3OjQxOjAyICswMjAwClN1YmplY3Q6IFtQQVRDSCAyLzJdIE5l dyBwYWNrYWdlOiBzaW5ndWxhci00LjIuMQoKLS0tCiAuLi4vcGF0Y2hlcy91cHN0cmVhbV9vbWFs bG9jX25ld19tdXNsLnBhdGNoICAgfCA0MCArKysrKysrKysrKysrKysrKysrCiAuLi4vcGF0Y2hl cy91cHN0cmVhbV9wb2x5c190ZXN0X211c2wucGF0Y2ggICAgfCAyMiArKysrKysrKysrCiBzcmNw a2dzL3Npbmd1bGFyL3RlbXBsYXRlICAgICAgICAgICAgICAgICAgICAgfCAzMyArKysrKysrKysr KysrKysKIDMgZmlsZXMgY2hhbmdlZCwgOTUgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAw NjQ0IHNyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9vbWFsbG9jX25ld19tdXNsLnBh dGNoCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFt X3BvbHlzX3Rlc3RfbXVzbC5wYXRjaAogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3Mvc2luZ3Vs YXIvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9zcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJl YW1fb21hbGxvY19uZXdfbXVzbC5wYXRjaCBiL3NyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0 cmVhbV9vbWFsbG9jX25ld19tdXNsLnBhdGNoCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAw MDAwMDAwMDAwMC4uMzU0NjAzYmIyYzQ0Ci0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9zaW5n dWxhci9wYXRjaGVzL3Vwc3RyZWFtX29tYWxsb2NfbmV3X211c2wucGF0Y2gKQEAgLTAsMCArMSw0 MCBAQAorRnJvbSBlMTY0MzEzNTY0NWEzY2M5N2FmODY1OTAxOGRlZmQyYjg2MTdiYjRlIE1vbiBT ZXAgMTcgMDA6MDA6MDAgMjAwMQorRnJvbTogSGFucyBTY2hvZW5lbWFubiA8aGFubmVzQG1hdGhl bWF0aWsudW5pLWtsLmRlPgorRGF0ZTogVGh1LCAyMyBTZXAgMjAyMSAxMDo1NzoyNSArMDIwMAor U3ViamVjdDogW1BBVENIXSBvbWFsbG9jOiBmaXggYWxpZ25tZW50IHN0dWZmIGZvciAibWFrZSBj aGVjayIKKworLS0tCisgb21hbGxvYy9vbXRUZXN0LmMgfCA2IC0tLS0tLQorIG9tYWxsb2Mvb210 VGVzdC5oIHwgMiArLQorIDIgZmlsZXMgY2hhbmdlZCwgMSBpbnNlcnRpb24oKyksIDcgZGVsZXRp b25zKC0pCisKK2RpZmYgLS1naXQgYS9vbWFsbG9jL29tdFRlc3QuYyBiL29tYWxsb2Mvb210VGVz dC5jCitpbmRleCA3MTVmYmIxMTNjLi43NWM4Y2RiMjEwIDEwMDY0NAorLS0tIGEvb21hbGxvYy9v bXRUZXN0LmMKKysrKyBiL29tYWxsb2Mvb210VGVzdC5jCitAQCAtNzAsMTIgKzcwLDYgQEAgdm9p ZCBvbXRUZXN0RGVidWcob21NZW1DZWxsIGNlbGwpCisgICB9CisgCisgICBpc19zaXplID0gb21T aXplT2ZBZGRyKGNlbGwtPmFkZHIpOworLSAgaWYgKCFPTV9JU19BTElHTkVEKGlzX3NpemUpKQor LSAgeworLSAgICBvbVJlcG9ydEVycm9yKG9tRXJyb3JfVW5rbm93biwgb21FcnJvcl9Ob0Vycm9y LCBPTV9GTFIsCistICAgICAgICAgICAgICAgICAgImlzX3NpemUgPT0gJXUgaXMgdW5hbGlnbmVk IiwgaXNfc2l6ZSk7CistICAgIHJldHVybjsKKy0gIH0KKyAgIGlmIChpc19zaXplIDwgc2l6ZSkK KyAgIHsKKyAgICAgb21SZXBvcnRFcnJvcihvbUVycm9yX1Vua25vd24sIG9tRXJyb3JfTm9FcnJv ciwgT01fRkxSLAorZGlmZiAtLWdpdCBhL29tYWxsb2Mvb210VGVzdC5oIGIvb21hbGxvYy9vbXRU ZXN0LmgKK2luZGV4IGE1NzlkODgwMTEuLjZmYWEwOTljODkgMTAwNjQ0CistLS0gYS9vbWFsbG9j L29tdFRlc3QuaAorKysrIGIvb21hbGxvYy9vbXRUZXN0LmgKK0BAIC00OCw3ICs0OCw3IEBAIHZv aWQgVGVzdEZyZWUob21NZW1DZWxsIGNlbGwpOworIAorICNkZWZpbmUgSVNfU1RJQ0tZX0JJTihz cGVjKSAoc3BlYyAmIDEpCisgLy8gI2RlZmluZSBJU19TVElDS1lfQklOKHNwZWMpICgwKQorLSNk ZWZpbmUgR0VUX1NJWkUoc3BlYykgICAgICAoc3BlYyAmICgoKCh1bnNpZ25lZCBsb25nKSAxKSA8 PCAxNCkgLTEpKQorKyNkZWZpbmUgR0VUX1NJWkUoc3BlYykgICAgICBPTV9BTElHTl9TSVpFKChz cGVjICYgKCgoKHVuc2lnbmVkIGxvbmcpIDEpIDw8IDE0KSAtMSkpKQorICNkZWZpbmUgU0VUX1NJ WkUoc3BlYywgc2l6ZSkgc3BlYyA9ICgoc3BlYyAmIH4oKCgodW5zaWduZWQgbG9uZykgMSkgPDwg MTQpIC0xKSkgfCAoc2l6ZSkpCisgI2RlZmluZSBJU19BTElHTkVEKHNwZWMpICAgIChzcGVjICYg KCgodW5zaWduZWQgbG9uZykgMSkgPDwgMTUpKQorICNkZWZpbmUgSVNfWkVSTyhzcGVjKSAgICAg ICAoc3BlYyAmICgoKHVuc2lnbmVkIGxvbmcpIDEpIDw8IDE2KSkKZGlmZiAtLWdpdCBhL3NyY3Br Z3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9wb2x5c190ZXN0X211c2wucGF0Y2ggYi9zcmNw a2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBhdGNoCm5ldyBm aWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uNzNlZTA2MmUyZjg5Ci0tLSAvZGV2 L251bGwKKysrIGIvc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFtX3BvbHlzX3Rlc3Rf bXVzbC5wYXRjaApAQCAtMCwwICsxLDIyIEBACitGcm9tIDZlMjM4MzExMWExOGIyZmEyZDM0MjEw NDU2MjVkMWQ0MjRlYjFlMjUgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAxCitGcm9tOiBIYW5zIFNj aG9lbmVtYW5uIDxoYW5uZXNAbWF0aGVtYXRpay51bmkta2wuZGU+CitEYXRlOiBNb24sIDIwIFNl cCAyMDIxIDE1OjEzOjM2ICswMjAwCitTdWJqZWN0OiBbUEFUQ0hdIGZpeDogbWFrZSBjaGVjazog cG9seXNfdGVzdAorCistLS0KKyBsaWJwb2x5cy90ZXN0cy9wb2x5c190ZXN0LmggfCAyICstCisg MSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCspLCAxIGRlbGV0aW9uKC0pCisKK2RpZmYgLS1n aXQgYS9saWJwb2x5cy90ZXN0cy9wb2x5c190ZXN0LmggYi9saWJwb2x5cy90ZXN0cy9wb2x5c190 ZXN0LmgKK2luZGV4IDU1MjZhYTVhNmIuLjViNGM1NjEyMzggMTAwNjQ0CistLS0gYS9saWJwb2x5 cy90ZXN0cy9wb2x5c190ZXN0LmgKKysrKyBiL2xpYnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3QuaAor QEAgLTI0ODEsNyArMjQ4MSw3IEBAIGNsYXNzIFBvbHlzVGVzdFN1aXRlIDogcHVibGljIEN4eFRl c3Q6OlRlc3RTdWl0ZQorICAgICB7CisgICAgICAgZm9yIChpbnQgcWkgPSAwOyBxaSA8PSAxMDA7 IHFpKyspCisgICAgICAgeworLSAgICAgICAgaW50IGMgPSByYW5kKCkgJSAxMDAwMDAwOworKyAg ICAgICAgaW50IGMgPSByYW5kKCkgJSAxMDAwMDAwKzE7IC8qIGMgbXVzdCBub3QgYmUgMCAqLwor ICAgICAgICAgcG9seSBxdGVybSA9IHBfSVNldChjLCByKTsgcF9TZXRFeHAocXRlcm0sIDEsIHFp LCByKTsKKyAgICAgICAgIHBfU2V0bShxdGVybSwgcik7CisgICAgICAgICBudW1iZXIgcXRlcm1B c04gPSB0b0ZyYWN0aW9uTnVtYmVyKHF0ZXJtLCBjZik7CmRpZmYgLS1naXQgYS9zcmNwa2dzL3Np bmd1bGFyL3RlbXBsYXRlIGIvc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZQpuZXcgZmlsZSBtb2Rl IDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLjhhZDg5ZGY4NWRlZQotLS0gL2Rldi9udWxsCisr KyBiL3NyY3BrZ3Mvc2luZ3VsYXIvdGVtcGxhdGUKQEAgLTAsMCArMSwzMyBAQAorIyBUZW1wbGF0 ZSBmaWxlIGZvciAnc2luZ3VsYXInCitwa2duYW1lPXNpbmd1bGFyCit2ZXJzaW9uPTQuMi4xCity ZXZpc2lvbj0xCitidWlsZF9zdHlsZT1nbnUtY29uZmlndXJlCitjb25maWd1cmVfYXJncz0iLS13 aXRoLXJlYWRsaW5lPW5jdXJzZXMKKwktLXByZWZpeD0vdXNyCisJLS1saWJleGVjZGlyPS91c3Iv bGliCisJLS1lbmFibGUtZ2ZhbmxpYgorCS0tZW5hYmxlLVNpbmd1bGFyCisJLS1lbmFibGUtZmFj dG9yeQorCS0tZGlzYWJsZS1kb2MKKwktLWRpc2FibGUtcG9seW1ha2UKKwktLXdpdGhvdXQtcHl0 aG9uCisJLS13aXRob3V0LXB5dGhvbm1vZHVsZQorCS0tZGlzYWJsZS1weXRob24KKwktLWRpc2Fi bGUtcHl0aG9uX21vZHVsZQorCS0tZGlzYWJsZS1weXRob24tbW9kdWxlCisJLS1kaXNhYmxlLXN0 YXRpYworCS0td2l0aC1saWJwYXJzZSIKK2hvc3RtYWtlZGVwZW5kcz0icGVybCB0YXIgZG94eWdl biIKK21ha2VkZXBlbmRzPSJmbGludGxpYi1kZXZlbCBjZGRsaWIgcmVhZGxpbmUtZGV2ZWwgZ3Jh cGh2aXoiCitzaG9ydF9kZXNjPSJDb21wdXRlciBhbGdlYnJhIHN5c3RlbSBmb3IgcG9seW5vbWlh bCBjb21wdXRhdGlvbnMiCittYWludGFpbmVyPSJka3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFp bC5jb20+IgorbGljZW5zZT0iR1BMLTIuMC1vci1sYXRlciIKK2hvbWVwYWdlPSJodHRwczovL3d3 dy5zaW5ndWxhci51bmkta2wuZGUiCitkaXN0ZmlsZXM9Imh0dHBzOi8vc2VydmljZS5tYXRoZW1h dGlrLnVuaS1rbC5kZS9mdHAvcHViL01hdGgvU2luZ3VsYXIvc3JjLyR7dmVyc2lvbi8vLi8tfS9z aW5ndWxhci0ke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3VtPTI4YTU2ZGY4NGY4NWIxMTZlMDA2 OGZmZWNmOTJmYmUwOGZjMjdiZDRjNWJhOTAyOTk3ZjFhMzY3ZGIwYmZlOGQKK25vY3Jvc3M9ImZh aWxzIHRvIGNvbmZpZ3VyZSwgYnVnIHVwc3RyZWFtIgorCitpZiBbIC16ICIkQ1JPU1NfQlVJTEQi IF07IHRoZW4KKwltYWtlZGVwZW5kcys9IiBudGwtZGV2ZWwiCitmaQo= --===============0054449791422805085==--