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 10041 invoked from network); 15 Dec 2020 20:23:34 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 15 Dec 2020 20:23:34 -0000 Content-Type: multipart/mixed; boundary="===============4292724378479763347==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_New_package=3A_Agda-2=2E6=2E1=2E2?= To: ml@inbox.vuxu.org From: tsung-ju Reply-to: ml@inbox.vuxu.org Message-ID: Date: Tue, 15 Dec 2020 21:23:33 +0100 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============4292724378479763347== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IHRzdW5nLWp1IGFnYWluc3QgbWFzdGVyIG9u IHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS90c3VuZy1q dS92b2lkLXBhY2thZ2VzIGFnZGEKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1w YWNrYWdlcy9wdWxsLzI3MTg3CgpOZXcgcGFja2FnZTogQWdkYS0yLjYuMS4yCgoKQSBwYXRjaCBm aWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxs LzI3MTg3LnBhdGNoIGlzIGF0dGFjaGVk --===============4292724378479763347== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-agda-27187.patch" RnJvbSA1ZDk3ODE4M2ZlYjk3OWQ1MDE2ZWUyZDQ4YTlhOTY3MmYwODQ1NTQxIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBUc3VuZy1KdSBDaGlhbmcgPDcxMzc5MTgwK3RzdW5nLWp1QHVz ZXJzLm5vcmVwbHkuZ2l0aHViLmNvbT4KRGF0ZTogV2VkLCAxNiBEZWMgMjAyMCAwNDowODozNCAr MDgwMApTdWJqZWN0OiBbUEFUQ0hdIE5ldyBwYWNrYWdlOiBBZ2RhLTIuNi4xLjIKCi0tLQogc3Jj cGtncy9BZ2RhL2ZpbGVzL2FnZGEgICAgICB8ICAzICsrKwogc3JjcGtncy9BZ2RhL2ZpbGVzL2Fn ZGEtbW9kZSB8ICAzICsrKwogc3JjcGtncy9BZ2RhL3RlbXBsYXRlICAgICAgICB8IDQzICsrKysr KysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKwogMyBmaWxlcyBjaGFuZ2VkLCA0OSBpbnNl cnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9BZ2RhL2ZpbGVzL2FnZGEKIGNy ZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL0FnZGEvZmlsZXMvYWdkYS1tb2RlCiBjcmVhdGUgbW9k ZSAxMDA2NDQgc3JjcGtncy9BZ2RhL3RlbXBsYXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9BZ2Rh L2ZpbGVzL2FnZGEgYi9zcmNwa2dzL0FnZGEvZmlsZXMvYWdkYQpuZXcgZmlsZSBtb2RlIDEwMDY0 NAppbmRleCAwMDAwMDAwMDAwMC4uZTRmYTcyNDFiNjcKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNw a2dzL0FnZGEvZmlsZXMvYWdkYQpAQCAtMCwwICsxLDMgQEAKKyMhL2Jpbi9zaAorCitBZ2RhX2Rh dGFkaXI9JHtBZ2RhX2RhdGFkaXItL3Vzci9zaGFyZS9BZ2RhfSBleGVjIC91c3IvbGliZXhlYy9h Z2RhICIkQCIKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvQWdkYS9maWxlcy9hZ2RhLW1vZGUgYi9zcmNw a2dzL0FnZGEvZmlsZXMvYWdkYS1tb2RlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAw MDAwMDAwLi40ZGQ3NmI4YjQ4YQotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvQWdkYS9maWxl cy9hZ2RhLW1vZGUKQEAgLTAsMCArMSwzIEBACisjIS9iaW4vc2gKKworQWdkYV9kYXRhZGlyPSR7 QWdkYV9kYXRhZGlyLS91c3Ivc2hhcmUvQWdkYX0gZXhlYyAvdXNyL2xpYmV4ZWMvYWdkYS1tb2Rl ICIkQCIKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvQWdkYS90ZW1wbGF0ZSBiL3NyY3BrZ3MvQWdkYS90 ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMC4uOTk1NjQ3OTY5 YWIKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL0FnZGEvdGVtcGxhdGUKQEAgLTAsMCArMSw0 MyBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAnQWdkYScKK3BrZ25hbWU9QWdkYQordmVyc2lvbj0y LjYuMS4yCityZXZpc2lvbj0xCitidWlsZF9zdHlsZT1oYXNrZWxsLXN0YWNrCittYWtlX2J1aWxk X2FyZ3M9Ii0tZmxhZyBBZ2RhOmVuYWJsZS1jbHVzdGVyLWNvdW50aW5nIgorbWFrZWRlcGVuZHM9 ImljdS1kZXZlbCB6bGliLWRldmVsIG5jdXJzZXMtZGV2ZWwiCitzaG9ydF9kZXNjPSJEZXBlbmRl bnRseSB0eXBlZCBmdW5jdGlvbmFsIHByb2dyYW1taW5nIGxhbmd1YWdlIGFuZCBwcm9vZiBhc3Np c3RhbnQiCittYWludGFpbmVyPSJUc3VuZy1KdSBDaGlhbmcgPHRzdW5nanUrdm9pZEBwbS5tZT4i CitsaWNlbnNlPSJjdXN0b206QWdkYSIKK2hvbWVwYWdlPSJodHRwczovL3dpa2kucG9ydGFsLmNo YWxtZXJzLnNlL2FnZGEiCitkaXN0ZmlsZXM9Imh0dHA6Ly9oYWNrYWdlLmhhc2tlbGwub3JnL3Bh Y2thZ2UvJHtwa2duYW1lfS0ke3ZlcnNpb259LyR7cGtnbmFtZX0tJHt2ZXJzaW9ufS50YXIuZ3oi CitjaGVja3N1bT0wODcwMzA3M2M0YTViY2U4OWVhNjQ5MzFhYzg5MTI0NWRjNDJkZWE0NGI1OWJl ZDgzNzYxNDgxMWEyMTMwNzJkCitub3BpZV9maWxlcz0iL3Vzci9saWJleGVjL2FnZGEgL3Vzci9s aWJleGVjL2FnZGEtbW9kZSIKK25vY3Jvc3M9eWVzCisKK2RvX3BhdGNoKCkgeworCWNwIHN0YWNr LTguOC40LnlhbWwgc3RhY2sueWFtbAorCisJIyBNYWtlIHRoZSBvdXRwdXQgZGlyZWN0b3J5IG1v cmUgcHJlZGljdGFibGUKKwljYXQgPj5zdGFjay55YW1sIDw8LUVPRgorCWNvbmZpZ3VyZS1vcHRp b25zOgorCSAgQWdkYToKKwkgIC0gLS1kYXRhc3ViZGlyPUFnZGEKKwlFT0YKK30KKworZG9faW5z dGFsbCgpIHsKKwlsb2NhbCBfc3RhY2tfYXJncz0iLS1zeXN0ZW0tZ2hjIC0tc2tpcC1naGMtY2hl Y2siCisJbG9jYWwgX2xvY2FsX2luc3RhbGxfcm9vdD0kKFNUQUNLX1JPT1Q9IiR3cmtzcmMvLnN0 YWNrIiBzdGFjayAke19zdGFja19hcmdzfSBwYXRoIC0tbG9jYWwtaW5zdGFsbC1yb290KQorCisJ dmJpbiAke0ZJTEVTRElSfS9hZ2RhCisJdmJpbiAke0ZJTEVTRElSfS9hZ2RhLW1vZGUKKworCXZt a2RpciB1c3IvbGliZXhlYworCVNUQUNLX1JPT1Q9IiR3cmtzcmMvLnN0YWNrIiBzdGFjayAke19z dGFja19hcmdzfSBpbnN0YWxsIFwKKwkgICAgICAgCSR7bWFrZV9idWlsZF9hcmdzfSAtLWxvY2Fs LWJpbi1wYXRoPSR7REVTVERJUn0vdXNyL2xpYmV4ZWMKKworCXZta2RpciB1c3Ivc2hhcmUvQWdk YQorCXZjb3B5ICIkX2xvY2FsX2luc3RhbGxfcm9vdC9zaGFyZS9BZ2RhLyoiIHVzci9zaGFyZS9B Z2RhCisKKwl2bGljZW5zZSBMSUNFTlNFCit9Cg== --===============4292724378479763347==--