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 bcf91a0d for ; Wed, 23 Oct 2019 05:57:51 +0000 (UTC) Content-Type: multipart/mixed; boundary="===============2686737822841671847==" MIME-Version: 1.0 Subject: [PR PATCH] New package: metamath-0.178 To: ml@inbox.vuxu.org From: voidlinux-github@inbox.vuxu.org Reply-to: ml@inbox.vuxu.org Message-ID: Date: Wed, 23 Oct 2019 07:57:50 +0200 GitHub notification mails are now in MIME to allow UTF8. --===============2686737822841671847== MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IHhlbHhlYmFyIGFnYWluc3QgbWFzdGVyIG9u IHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS94ZWx4ZWJh ci92b2lkLXBhY2thZ2VzIHBhY2thZ2UvbWV0YW1hdGgKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQt bGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzE1NzIxCgpOZXcgcGFja2FnZTogbWV0YW1hdGgtMC4x NzgKCgpBIHBhdGNoIGZpbGUgZnJvbSBodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lk LXBhY2thZ2VzL3B1bGwvMTU3MjEucGF0Y2ggaXMgYXR0YWNoZWQ= --===============2686737822841671847== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-package/metamath-15721.patch" RnJvbSAyMTk2Y2ZhM2QzZjAwMDJlNjRjMTEzNTAxMmNiYTBiOTY4YzU1MDQyIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiAiQi4gV2lsc29uIiA8eEB3aWxzb25iLmNvbT4KRGF0ZTogTW9u LCAxOSBBdWcgMjAxOSAxMDo0NDozMyArMDkwMApTdWJqZWN0OiBbUEFUQ0hdIE5ldyBwYWNrYWdl OiBtZXRhbWF0aC0wLjE3OAoKLS0tCiBzcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlIHwgMjQgKysr KysrKysrKysrKysrKysrKysrKysrCiBzcmNwa2dzL21ldGFtYXRoL3VwZGF0ZSAgIHwgIDIgKysK IDIgZmlsZXMgY2hhbmdlZCwgMjYgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNy Y3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL21ldGFt YXRoL3VwZGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUgYi9zcmNw a2dzL21ldGFtYXRoL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAw MDAwLi5mN2FjODUxNzg3NgotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvbWV0YW1hdGgvdGVt cGxhdGUKQEAgLTAsMCArMSwyNCBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAnbWV0YW1hdGgnCitw a2duYW1lPW1ldGFtYXRoCit2ZXJzaW9uPTAuMTc4CityZXZpc2lvbj0xCit3cmtzcmM9IiR7cGtn bmFtZX0iCitidWlsZF9zdHlsZT1nbnUtY29uZmlndXJlCitob3N0bWFrZWRlcGVuZHM9ImF1dG9j b25mIGF1dG9tYWtlIgorc2hvcnRfZGVzYz0iTWF0aGVtYXRpY2FsIHByb29mIGNoZWNrZXIgYmFz ZWQgb24gYSBtaW5pbWFsaXN0IG1ldGFsb2dpYyIKK21haW50YWluZXI9IkIuIFdpbHNvbiA8eEB3 aWxzb25iLmNvbT4iCitsaWNlbnNlPSJHUEwtMi4wLW9yLWxhdGVyIgoraG9tZXBhZ2U9Imh0dHA6 Ly91cy5tZXRhbWF0aC5vcmcvIgorZGlzdGZpbGVzPSJodHRwOi8vdXMubWV0YW1hdGgub3JnL2Rv d25sb2Fkcy8ke3BrZ25hbWV9LnRhci5iejIKKyBodHRwOi8vdXMubWV0YW1hdGgub3JnL2Rvd25s b2Fkcy9tZXRhbWF0aC5wZGYiCitjaGVja3N1bT0iZWNiOTVmYjZhZWNhODQ2OTQwODFkMmU4NTk1 N2E0MmZiMDg4YTliOTQ1YzM4ZjhmN2IwYmNhOGZkMTMyYWE3OQorIDI0NWViYWIxNmQxNDhhOTc3 MmY2YzM3NTFiYThmMzRlZTE1YmVkNmJiYjYxYTQ2NGY0YzJhMmY5YzU2ZjgwNTkiCitza2lwX2V4 dHJhY3Rpb249Im1ldGFtYXRoLnBkZiIKKworcHJlX2NvbmZpZ3VyZSgpIHsKKwlhdXRvcmVjb25m IC1pCit9CisKK3Bvc3RfaW5zdGFsbCgpIHsKKwl2ZG9jICIke1hCUFNfU1JDRElTVERJUn0vJHtw a2duYW1lfS0ke3ZlcnNpb259L21ldGFtYXRoLnBkZiIKK30KZGlmZiAtLWdpdCBhL3NyY3BrZ3Mv bWV0YW1hdGgvdXBkYXRlIGIvc3JjcGtncy9tZXRhbWF0aC91cGRhdGUKbmV3IGZpbGUgbW9kZSAx MDA2NDQKaW5kZXggMDAwMDAwMDAwMDAuLmQ5NjhjOTZiMDg0Ci0tLSAvZGV2L251bGwKKysrIGIv c3JjcGtncy9tZXRhbWF0aC91cGRhdGUKQEAgLTAsMCArMSwyIEBACitzaXRlPWh0dHA6Ly91cy5t ZXRhbWF0aC5vcmcvaW5kZXguaHRtbAorcGF0dGVybj0iPEI+bWV0YW1hdGggcHJvZ3JhbTwvQj4g XCh2ZXJzaW9uIFxLW1xkLl0rIgo= --===============2686737822841671847==--