From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) 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.2 Received: from inbox.vuxu.org (localhost [IPv6:::1]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 8b3c288a for ; Tue, 17 Sep 2019 18:34:33 +0000 (UTC) Content-Type: multipart/mixed; boundary="===============0425719966493215094==" MIME-Version: 1.0 Subject: Re: [PR PATCH] [Updated] New package: idris-1.3.2 To: ml@inbox.vuxu.org From: voidlinux-github@inbox.vuxu.org Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Tue, 17 Sep 2019 20:34:33 +0200 Message-ID: <20190917183433.nnjatT6pfjcwWHyrK9eml5_OOFeeyRI9aqAkQ7rUkLI@z> GitHub notification mails are now in MIME to allow UTF8. --===============0425719966493215094== MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgemhlbmdxdW5rb28gYWdhaW5zdCBt YXN0ZXIgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29t L3poZW5ncXVua29vL3ZvaWQtcGFja2FnZXMgaWRyaXMKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQt bGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzE0NTIyCgpOZXcgcGFja2FnZTogaWRyaXMtMS4zLjIK UmVnYXJkaW5nIHF1YWxpdHkgcmVxdWlyZW1lbnRzOiBbYElkcmlzMmBdKGh0dHBzOi8vZ2l0aHVi LmNvbS9lZHdpbmIvSWRyaXMyKSwgd2hlbiBwYWNrYWdlZCwgd2lsbCByZXF1aXJlIGBJZHJpc2Au DQoNClVuZm9ydHVuYXRlbHksIGJ1aWxkaW5nIGBJZHJpc2AgdmlhIGBoYXNrZWxsLXN0YWNrYCBl eGNsdWRlcyB0aGUgYEJ1aWx0aW5zYCBhbmQgYFByZWx1ZGVgIG1vZHVsZXMsIHdoaWNoIG1lYW5z IG5vIFJFUEwgYW5kIG5vIGNvbXBpbGF0aW9uIG9mIGBJZHJpczJgIGlzIHBvc3NpYmxlLgoKQSBw YXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdl cy9wdWxsLzE0NTIyLnBhdGNoIGlzIGF0dGFjaGVk --===============0425719966493215094== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-idris-14522.patch" RnJvbSA0OWJlYzY1OGZiYTBmMGE2ZGJkNTY5NzRmNjM4OTM1NGQ2MWQxMzIwIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiB6aGVuZ3F1bmtvbyA8cm9vdEB6aGVuZ3F1bmtvby5jb20+CkRh dGU6IFR1ZSwgMTcgU2VwIDIwMTkgMTY6MDE6MzUgKzAyMDAKU3ViamVjdDogW1BBVENIIDEvNF0g TmV3IHBhY2thZ2U6IGlkcmlzLTEuMy4yCgotLS0KIHNyY3BrZ3MvaWRyaXMvdGVtcGxhdGUgfCAx OSArKysrKysrKysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMTkgaW5zZXJ0aW9ucygrKQog Y3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3MvaWRyaXMvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9z cmNwa2dzL2lkcmlzL3RlbXBsYXRlIGIvc3JjcGtncy9pZHJpcy90ZW1wbGF0ZQpuZXcgZmlsZSBt b2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMC4uZGU4MmYxYTJmYTgKLS0tIC9kZXYvbnVsbAor KysgYi9zcmNwa2dzL2lkcmlzL3RlbXBsYXRlCkBAIC0wLDAgKzEsMTkgQEAKKyMgVGVtcGxhdGUg ZmlsZSBmb3IgJ2lkcmlzJworcGtnbmFtZT1pZHJpcwordmVyc2lvbj0xLjMuMgorcmV2aXNpb249 MQorYnVpbGRfc3R5bGU9aGFza2VsbC1zdGFjaworaG9zdG1ha2VkZXBlbmRzPSJwa2ctY29uZmln IGdoYyBzdGFjayIKK21ha2VkZXBlbmRzPSJ6bGliLWRldmVsIG5jdXJzZXMtZGV2ZWwiCitzaG9y dF9kZXNjPSJGdW5jdGlvbmFsIFByb2dyYW1taW5nIExhbmd1YWdlIHdpdGggRGVwZW5kZW50IFR5 cGVzIgorbWFpbnRhaW5lcj0iWmhlbmdxdW4gS29vIDxyb290QHpoZW5ncXVua29vLmNvbT4iCits aWNlbnNlPSJCU0QtMy1DbGF1c2UiCitob21lcGFnZT0iaHR0cHM6Ly93d3cuaWRyaXMtbGFuZy5v cmcvIgorZGlzdGZpbGVzPSJodHRwczovL2hhY2thZ2UuaGFza2VsbC5vcmcvcGFja2FnZS8ke3Br Z25hbWV9LSR7dmVyc2lvbn0vJHtwa2duYW1lfS0ke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3Vt PTg3MmRiM2FhN2UxMTQxNTgwZmJkY2VjZTkwODI5ZWRmYWI3MDM3M2ExZjNiNzRhZjY4ZjA3OWYw ZTY4N2NjNzMKK25vY3Jvc3M9eWVzCitub3BpZT15ZXMKKworcG9zdF9pbnN0YWxsKCkgeworICB2 bGljZW5zZSBMSUNFTlNFCit9CgpGcm9tIDEzYWQxMmY2NGZhZTAyNzUwNzM1ZDNjN2NjZWRmYjJl NTM4YTNiODMgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAxCkZyb206IHpoZW5ncXVua29vIDxyb290 QHpoZW5ncXVua29vLmNvbT4KRGF0ZTogVHVlLCAxNyBTZXAgMjAxOSAxNjo1NDo1MyArMDIwMApT dWJqZWN0OiBbUEFUQ0ggMi80XSBTYXkgdGhhdCBsaWNlbnNlIGlzIGN1c3RvbQoKLS0tCiBzcmNw a2dzL2lkcmlzL3RlbXBsYXRlIHwgMiArLQogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCsp LCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9pZHJpcy90ZW1wbGF0ZSBiL3Ny Y3BrZ3MvaWRyaXMvdGVtcGxhdGUKaW5kZXggZGU4MmYxYTJmYTguLmQ1YzM2NmQyYzYwIDEwMDY0 NAotLS0gYS9zcmNwa2dzL2lkcmlzL3RlbXBsYXRlCisrKyBiL3NyY3BrZ3MvaWRyaXMvdGVtcGxh dGUKQEAgLTcsNyArNyw3IEBAIGhvc3RtYWtlZGVwZW5kcz0icGtnLWNvbmZpZyBnaGMgc3RhY2si CiBtYWtlZGVwZW5kcz0iemxpYi1kZXZlbCBuY3Vyc2VzLWRldmVsIgogc2hvcnRfZGVzYz0iRnVu Y3Rpb25hbCBQcm9ncmFtbWluZyBMYW5ndWFnZSB3aXRoIERlcGVuZGVudCBUeXBlcyIKIG1haW50 YWluZXI9IlpoZW5ncXVuIEtvbyA8cm9vdEB6aGVuZ3F1bmtvby5jb20+IgotbGljZW5zZT0iQlNE LTMtQ2xhdXNlIgorbGljZW5zZT0iY3VzdG9tIgogaG9tZXBhZ2U9Imh0dHBzOi8vd3d3Lmlkcmlz LWxhbmcub3JnLyIKIGRpc3RmaWxlcz0iaHR0cHM6Ly9oYWNrYWdlLmhhc2tlbGwub3JnL3BhY2th Z2UvJHtwa2duYW1lfS0ke3ZlcnNpb259LyR7cGtnbmFtZX0tJHt2ZXJzaW9ufS50YXIuZ3oiCiBj aGVja3N1bT04NzJkYjNhYTdlMTE0MTU4MGZiZGNlY2U5MDgyOWVkZmFiNzAzNzNhMWYzYjc0YWY2 OGYwNzlmMGU2ODdjYzczCgpGcm9tIDE1ZDFhYWRkNjA1OWYwMzkxZDgyMjAyOTE0OTBhYzk2YWNm MDM4NmUgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAxCkZyb206IHpoZW5ncXVua29vIDxyb290QHpo ZW5ncXVua29vLmNvbT4KRGF0ZTogVHVlLCAxNyBTZXAgMjAxOSAxNjo1NToxNiArMDIwMApTdWJq ZWN0OiBbUEFUQ0ggMy80XSBVc2UgdGFiIGluc3RlYWQgb2Ygc3BhY2VzCgotLS0KIHNyY3BrZ3Mv aWRyaXMvdGVtcGxhdGUgfCAyICstCiAxIGZpbGUgY2hhbmdlZCwgMSBpbnNlcnRpb24oKyksIDEg ZGVsZXRpb24oLSkKCmRpZmYgLS1naXQgYS9zcmNwa2dzL2lkcmlzL3RlbXBsYXRlIGIvc3JjcGtn cy9pZHJpcy90ZW1wbGF0ZQppbmRleCBkNWMzNjZkMmM2MC4uM2M5OWRlYmE0MWMgMTAwNjQ0Ci0t LSBhL3NyY3BrZ3MvaWRyaXMvdGVtcGxhdGUKKysrIGIvc3JjcGtncy9pZHJpcy90ZW1wbGF0ZQpA QCAtMTUsNSArMTUsNSBAQCBub2Nyb3NzPXllcwogbm9waWU9eWVzCiAKIHBvc3RfaW5zdGFsbCgp IHsKLSAgdmxpY2Vuc2UgTElDRU5TRQorCXZsaWNlbnNlIExJQ0VOU0UKIH0KCkZyb20gMTViZWNh MjFjNmVlZWZkMGY5ZGZhYjg5NDc3ZGYxNDg5YTRkNzE1MiBNb24gU2VwIDE3IDAwOjAwOjAwIDIw MDEKRnJvbTogemhlbmdxdW5rb28gPHJvb3RAemhlbmdxdW5rb28uY29tPgpEYXRlOiBUdWUsIDE3 IFNlcCAyMDE5IDIwOjM0OjE5ICswMjAwClN1YmplY3Q6IFtQQVRDSCA0LzRdIFJldmVydCAiU2F5 IHRoYXQgbGljZW5zZSBpcyBjdXN0b20iCgpUaGlzIHJldmVydHMgY29tbWl0IDEzYWQxMmY2NGZh ZTAyNzUwNzM1ZDNjN2NjZWRmYjJlNTM4YTNiODMuCi0tLQogc3JjcGtncy9pZHJpcy90ZW1wbGF0 ZSB8IDIgKy0KIDEgZmlsZSBjaGFuZ2VkLCAxIGluc2VydGlvbigrKSwgMSBkZWxldGlvbigtKQoK ZGlmZiAtLWdpdCBhL3NyY3BrZ3MvaWRyaXMvdGVtcGxhdGUgYi9zcmNwa2dzL2lkcmlzL3RlbXBs YXRlCmluZGV4IDNjOTlkZWJhNDFjLi44MjIzYjQyZDdlYSAxMDA2NDQKLS0tIGEvc3JjcGtncy9p ZHJpcy90ZW1wbGF0ZQorKysgYi9zcmNwa2dzL2lkcmlzL3RlbXBsYXRlCkBAIC03LDcgKzcsNyBA QCBob3N0bWFrZWRlcGVuZHM9InBrZy1jb25maWcgZ2hjIHN0YWNrIgogbWFrZWRlcGVuZHM9Inps aWItZGV2ZWwgbmN1cnNlcy1kZXZlbCIKIHNob3J0X2Rlc2M9IkZ1bmN0aW9uYWwgUHJvZ3JhbW1p bmcgTGFuZ3VhZ2Ugd2l0aCBEZXBlbmRlbnQgVHlwZXMiCiBtYWludGFpbmVyPSJaaGVuZ3F1biBL b28gPHJvb3RAemhlbmdxdW5rb28uY29tPiIKLWxpY2Vuc2U9ImN1c3RvbSIKK2xpY2Vuc2U9IkJT RC0zLUNsYXVzZSIKIGhvbWVwYWdlPSJodHRwczovL3d3dy5pZHJpcy1sYW5nLm9yZy8iCiBkaXN0 ZmlsZXM9Imh0dHBzOi8vaGFja2FnZS5oYXNrZWxsLm9yZy9wYWNrYWdlLyR7cGtnbmFtZX0tJHt2 ZXJzaW9ufS8ke3BrZ25hbWV9LSR7dmVyc2lvbn0udGFyLmd6IgogY2hlY2tzdW09ODcyZGIzYWE3 ZTExNDE1ODBmYmRjZWNlOTA4MjllZGZhYjcwMzczYTFmM2I3NGFmNjhmMDc5ZjBlNjg3Y2M3Mwo= --===============0425719966493215094==--