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=-0.2 required=5.0 tests=ALL_TRUSTED, DKIM_ADSP_NXDOMAIN autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 851 invoked from network); 3 Sep 2021 16:05:23 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 3 Sep 2021 16:05:23 -0000 Content-Type: multipart/mixed; boundary="===============6276485911636497886==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_New_math_packages=3A_cddlib=2C_singular?= To: ml@inbox.vuxu.org From: dkwo Reply-to: ml@inbox.vuxu.org Message-ID: Date: Fri, 03 Sep 2021 18:05:22 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============6276485911636497886== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IGRrd28gYWdhaW5zdCBtYXN0ZXIgb24gdGhl IHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL2Rrd28vdm9pZC1w YWNrYWdlcyBjZGQKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9w dWxsLzMyODIyCgpOZXcgbWF0aCBwYWNrYWdlczogY2RkbGliLCBzaW5ndWxhcgpOZXcgbWF0aCBw YWNrYWdlcywgdXNlZnVsIGZvciBzYWdlbWF0aAoKLSBOZXcgcGFja2FnZTogY2RkbGliCi0gTmV3 IHBhY2thZ2U6IHNpbmd1bGFyCgpJIGJ1aWx0IHRoZW0gb24geDg2XzY0CgoKCkEgcGF0Y2ggZmls ZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8z MjgyMi5wYXRjaCBpcyBhdHRhY2hlZA== --===============6276485911636497886== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-cdd-32822.patch" RnJvbSA0MDBjYTkzOWY1ZTQyZDQzNGJlNGUxYzg0YWYxZTEzYWQ5ZDI1MWUxIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBka3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+CkRh dGU6IEZyaSwgMyBTZXAgMjAyMSAxNzo1NzoyNiArMDIwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBO ZXcgcGFja2FnZTogY2RkbGliCgotLS0KIGNvbW1vbi9zaGxpYnMgICAgICAgICAgIHwgIDIgKysK IHNyY3BrZ3MvY2RkbGliL3RlbXBsYXRlIHwgMTIgKysrKysrKysrKysrCiAyIGZpbGVzIGNoYW5n ZWQsIDE0IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL2NkZGxpYi90 ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL2NvbW1vbi9zaGxpYnMgYi9jb21tb24vc2hsaWJzCmluZGV4 IDg3YzI3YzQ1OWFhZC4uMDBlNDAyNjBmYzJjIDEwMDY0NAotLS0gYS9jb21tb24vc2hsaWJzCisr KyBiL2NvbW1vbi9zaGxpYnMKQEAgLTU1LDYgKzU1LDggQEAgbGliY2MxLnNvLjAgZ2NjLTYuMi4x XzEKIGxpYmNjMXBsdWdpbi5zby4wIGdjYy02LjIuMV8xCiBsaWJpdG0uc28uMSBsaWJpdG0tNC43 LjNfMQogbGlibHRvX3BsdWdpbi5zby4wIGdjYy00LjcuM18xCitsaWJjZGRnbXAuc28uMCBjZGRs aWItMC45NG1fMQorbGliY2RkLnNvLjAgY2RkbGliLTAuOTRtXzEKIGxpYmdjY19zLnNvLjEgbGli Z2NjLTQuNC4wXzEKIGxpYmdvLnNvLjE2IGxpYmdvLTEwLjIuMF8xCiBsaWJwZXJsLnNvLjUuMzQg cGVybC01LjM0LjBfMQpkaWZmIC0tZ2l0IGEvc3JjcGtncy9jZGRsaWIvdGVtcGxhdGUgYi9zcmNw a2dzL2NkZGxpYi90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAw MDAuLjM3NzU5Y2YwMzYxYwotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvY2RkbGliL3RlbXBs YXRlCkBAIC0wLDAgKzEsMTIgQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3IgJ2NkZGxpYicKK3BrZ25h bWU9Y2RkbGliCit2ZXJzaW9uPTAuOTRtCityZXZpc2lvbj0xCitidWlsZF9zdHlsZT1nbnUtY29u ZmlndXJlCitob3N0bWFrZWRlcGVuZHM9ImdtcC1kZXZlbCIKK3Nob3J0X2Rlc2M9IkVmZmljaWVu dCBpbXBsZW1lbnRhdGlvbiBvZiB0aGUgRG91YmxlIERlc2NyaXB0aW9uIE1ldGhvZCIKK21haW50 YWluZXI9ImRrd28gPG5pY29sb3BpYXp6YWx1bmdhQGdtYWlsLmNvbT4iCitsaWNlbnNlPSJHUEwt Mi4wLW9yLWxhdGVyIgoraG9tZXBhZ2U9Imh0dHBzOi8vZ2l0aHViLmNvbS9jZGRsaWIvY2RkbGli IgorZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vY2RkbGliL2NkZGxpYi9yZWxlYXNlcy9k b3dubG9hZC8ke3ZlcnNpb259L2NkZGxpYi0ke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3VtPTcw ZGZmZGIzMzY5Yjg3MDRkYzc1NDI4YTFiM2M0MmFiOTA0N2I4MWNlMDM5ZjEyZjQyN2UyZWIyYjFi MGRlZTIKCkZyb20gMmRlMzg5MTAxZWMwNDE4YzBiOGI1NmE4ZWE4OGJjNmZkMDg5MTM0YyBNb24g U2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogZGt3byA8bmljb2xvcGlhenphbHVuZ2FAZ21haWwu Y29tPgpEYXRlOiBGcmksIDMgU2VwIDIwMjEgMTg6MDI6MTEgKzAyMDAKU3ViamVjdDogW1BBVENI IDIvMl0gTmV3IHBhY2thZ2U6IHNpbmd1bGFyCgotLS0KIGNvbW1vbi9zaGxpYnMgICAgICAgICAg ICAgfCAgNSArKysrKwogc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZSB8IDIwICsrKysrKysrKysr KysrKysrKysrCiAyIGZpbGVzIGNoYW5nZWQsIDI1IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2Rl IDEwMDY0NCBzcmNwa2dzL3Npbmd1bGFyL3RlbXBsYXRlCgpkaWZmIC0tZ2l0IGEvY29tbW9uL3No bGlicyBiL2NvbW1vbi9zaGxpYnMKaW5kZXggMDBlNDAyNjBmYzJjLi4xYWEwMzQ0ZmU0ZTkgMTAw NjQ0Ci0tLSBhL2NvbW1vbi9zaGxpYnMKKysrIGIvY29tbW9uL3NobGlicwpAQCAtNjUsNiArNjUs MTEgQEAgbGliZ21weHguc28uNCBnbXB4eC02LjAuMF8yCiBsaWJtcGZyLnNvLjYgbXBmci00LjAu MF8xCiBsaWJwcGwuc28uMTQgcHBsLTEuMl8xCiBsaWJwcGxfYy5zby40IHBwbC0wLjExXzEKK2xp YlNpbmd1bGFyLTQuMi4xLnNvIHNpbmd1bGFyLTQuMi4xXzEKK2xpYnBvbHlzLTQuMi4xLnNvIHNp bmd1bGFyLTQuMi4xXzEKK2xpYmZhY3RvcnktNC4yLjEuc28gc2luZ3VsYXItNC4yLjFfMQorbGli b21hbGxvYy0wLjkuNi5zbyBzaW5ndWxhci00LjIuMV8xCitsaWJzaW5ndWxhcl9yZXNvdXJjZXMt NC4yLjEuc28gc2luZ3VsYXItNC4yLjFfMQogbGlic3RkYysrLnNvLjYgbGlic3RkYysrLTQuNC4w XzEKIGxpYnNzcC5zby4wIGxpYnNzcC00LjQuMF8xCiBsaWJuY3Vyc2VzLnNvLjYgbmN1cnNlcy1s aWJzLTYuMF8xIGlnbm9yZQpkaWZmIC0tZ2l0IGEvc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZSBi L3NyY3BrZ3Mvc2luZ3VsYXIvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAw MDAwMDAwMDAwLi5lZGM1YTQxY2ZlNzIKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3Npbmd1 bGFyL3RlbXBsYXRlCkBAIC0wLDAgKzEsMjAgQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3IgJ3Npbmd1 bGFyJworcGtnbmFtZT1zaW5ndWxhcgordmVyc2lvbj00LjIuMQorcmV2aXNpb249MQorX293bl92 ZXJzaW9uPTQtMi0xCitidWlsZF9zdHlsZT1nbnUtY29uZmlndXJlCitjb25maWd1cmVfYXJncz0i LS1lbmFibGUtYmlnaW50bS1tb2R1bGUgLS1lbmFibGUtT3JkZXItbW9kdWxlCisgLS1lbmFibGUt cHl0aG9uLW1vZHVsZSAtLWVuYWJsZS1nZmFubGliLW1vZHVsZSAtLWVuYWJsZS1wb2x5bWFrZS1t b2R1bGUiCitob3N0bWFrZWRlcGVuZHM9ImF1dG9tYWtlIGxpYnRvb2wiCittYWtlZGVwZW5kcz0i ZmxpbnRsaWItZGV2ZWwgY2RkbGliIGRveHlnZW4iCitzaG9ydF9kZXNjPSJDb21wdXRlciBhbGdl YnJhIHN5c3RlbSBmb3IgcG9seW5vbWlhbCBjb21wdXRhdGlvbnMiCittYWludGFpbmVyPSJka3dv IDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+IgorbGljZW5zZT0iR1BMLTIuMC1vci1sYXRl ciIKK2hvbWVwYWdlPSJodHRwczovL3d3dy5zaW5ndWxhci51bmkta2wuZGUiCitkaXN0ZmlsZXM9 Imh0dHBzOi8vc2VydmljZS5tYXRoZW1hdGlrLnVuaS1rbC5kZS9mdHAvcHViL01hdGgvU2luZ3Vs YXIvc3JjLyR7X293bl92ZXJzaW9ufS9zaW5ndWxhci0ke3ZlcnNpb259LnRhci5neiIKK2NoZWNr c3VtPTI4YTU2ZGY4NGY4NWIxMTZlMDA2OGZmZWNmOTJmYmUwOGZjMjdiZDRjNWJhOTAyOTk3ZjFh MzY3ZGIwYmZlOGQKKworcHJlX2NvbmZpZ3VyZSgpIHsKKwlhdXRvcmVjb25mIC1maQorfQo= --===============6276485911636497886==--