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 [::1]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id af62de26 for ; Sun, 2 Feb 2020 15:37:20 +0000 (UTC) Content-Type: multipart/mixed; boundary="===============7231315286586003894==" MIME-Version: 1.0 Subject: Re: [PR PATCH] [Updated] New package: metamath-0.180 To: ml@inbox.vuxu.org From: voidlinux-github@inbox.vuxu.org Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Sun, 02 Feb 2020 16:37:20 +0100 Message-ID: <20200202153720.u86-QcyRQEyJUUT4hayWqdCU3APjNFTRj8V2NJwQLqk@z> GitHub notification mails are now in MIME to allow UTF8. --===============7231315286586003894== MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgeGVseGViYXIgYWdhaW5zdCBtYXN0 ZXIgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL3hl bHhlYmFyL3ZvaWQtcGFja2FnZXMgcGFja2FnZS9tZXRhbWF0aApodHRwczovL2dpdGh1Yi5jb20v dm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMTg1ODQKCk5ldyBwYWNrYWdlOiBtZXRhbWF0 aC0wLjE4MAoKCkEgcGF0Y2ggZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4 L3ZvaWQtcGFja2FnZXMvcHVsbC8xODU4NC5wYXRjaCBpcyBhdHRhY2hlZA== --===============7231315286586003894== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-package/metamath-18584.patch" RnJvbSBhOTg0YWQxNDkxMjhmZjhkODc1M2Q2ZDYxNDk1YzQyZDkwMDUzZDhiIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiAiQi4gV2lsc29uIiA8eEB3aWxzb25iLmNvbT4KRGF0ZTogTW9u LCAxOSBBdWcgMjAxOSAxMDo0NDozMyArMDkwMApTdWJqZWN0OiBbUEFUQ0hdIE5ldyBwYWNrYWdl OiBtZXRhbWF0aC0wLjE4MAoKLS0tCiBzcmNwa2dzL21ldGFtYXRoL2ZpbGVzL21tLnNoICAgICAg ICAgICAgICAgICAgfCA3MiArKysrKysrKysrKysrKysrKysrCiAuLi4vcGF0Y2hlcy9yZW1vdmUt bWlzc2luZy1maWxlLXJlZnMucGF0Y2ggICAgfCAxNyArKysrKwogc3JjcGtncy9tZXRhbWF0aC90 ZW1wbGF0ZSAgICAgICAgICAgICAgICAgICAgIHwgMjUgKysrKysrKwogc3JjcGtncy9tZXRhbWF0 aC91cGRhdGUgICAgICAgICAgICAgICAgICAgICAgIHwgIDIgKwogNCBmaWxlcyBjaGFuZ2VkLCAx MTYgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNzU1IHNyY3BrZ3MvbWV0YW1hdGgvZmls ZXMvbW0uc2gKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL21ldGFtYXRoL3BhdGNoZXMvcmVt b3ZlLW1pc3NpbmctZmlsZS1yZWZzLnBhdGNoCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9t ZXRhbWF0aC90ZW1wbGF0ZQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3MvbWV0YW1hdGgvdXBk YXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9tZXRhbWF0aC9maWxlcy9tbS5zaCBiL3NyY3BrZ3Mv bWV0YW1hdGgvZmlsZXMvbW0uc2gKbmV3IGZpbGUgbW9kZSAxMDA3NTUKaW5kZXggMDAwMDAwMDAw MDAuLjhhZjlmNjg2MTI2Ci0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9tZXRhbWF0aC9maWxl cy9tbS5zaApAQCAtMCwwICsxLDcyIEBACisjIS91c3IvYmluL2VudiBzaAorc2V0IC1vIGVycmV4 aXQgLW8gbm91bnNldCAtbyBub2Nsb2JiZXIKKworCitzaG93X3VzYWdlKCkgeworPiYyIGNhdCA8 PFVTQUdFCitVc2FnZTogbW0gWy1obHVdIFstZCA8ZGF0YWJhc2U+XSBbLXIgPHJjZmlsZT5dIFs8 YXJncz5dCisKK09QVElPTlMKKyAgLWQgPGRhdGFiYXNlPiAgTG9hZCA8ZGF0YWJhc2U+CisgIC1y IDxyY2ZpbGU+ICAgIFN1Ym1pdCA8cmNmaWxlPiBjb21tYW5kcyBvbiBzdGFydHVwLCBkZWZhdWx0 cyB0byB+Ly5tZXRhbWF0aHJjCisgIC1sICAgICAgICAgICAgIExpc3QgYXZhaWxhYmxlIGRhdGFi YXNlcworICAtdSAgICAgICAgICAgICBVcGRhdGUgZGF0YWJhc2VzCisgIC1oICAgICAgICAgICAg IERpc3BsYXkgdGhpcyBoZWxwIG1lc3NhZ2UKK1VTQUdFCit9CisKK2Vycm9yKCkgeworCWVycm5v PSR7MX0KKwltc2c9JHsyfQorCisJPiYyIGVjaG8gIiR7bXNnfSIKKwlzaG93X3VzYWdlCisJZXhp dCAiJHtlcnJub30iCit9CisKK21tX3VwZGF0ZSgpIHsKKwl1cmw9JHsxfQorCWRpcj0kezJ9CisK Kwljb21tYW5kIC12IGdpdCA+L2Rldi9udWxsIHx8IHJldHVybiAxCisJWyAtZCAiJHtkaXJ9IiBd IHx8IG1rZGlyIC1wICIke2Rpcn0iCisKKwlpZiBbIC1kICIke2Rpcn0vLmdpdCIgXTsgdGhlbgor CQlnaXQgLUMgIiR7ZGlyfSIgcHVsbAorCWVsc2UKKwkJZ2l0IGNsb25lICIke3VybH0iICIke2Rp cn0iCisJZmkKK30KKworCittbWRpcj0iJHtNRVRBTUFUSF9ESVI6LS92YXIvbGliL21ldGFtYXRo fSIKK21tdXJsPSIke01FVEFNQVRIX1VSTDotaHR0cHM6Ly9naXRodWIuY29tL21ldGFtYXRoL3Nl dC5tbX0iCityYz0iJHtyYzotJHtIT01FfS8ubWV0YW1hdGhyY30iCisKK1sgLXIgIiR7cmN9IiBd IHx8IHVuc2V0IHJjCisKK2lmIGNvbW1hbmQgLXYgdHB1dCA+L2Rldi9udWxsOyB0aGVuCisJd2lk dGg9JCh0cHV0IGNvbHMpCisJaGVpZ2h0PSQodHB1dCBsaW5lcykKK2ZpCisKKword2hpbGUgZ2V0 b3B0cyAnOmQ6cjpobHUnIG9wdCAiJHtAfSI7IGRvCisJY2FzZSAiJHtvcHR9IiBpbgorCWQpIGRi PSIke09QVEFSR30iOzsKKwlyKSByYz0iJHtPUFRBUkd9Ijs7CisJaCkgc2hvd191c2FnZTsgZXhp dCAwOzsKKwlsKSBmaW5kICIke21tZGlyfSIgLW5hbWUgJyoubW0nIC1wcmludGYgJyVQXG4nOyBl eGl0OzsKKwl1KSBtbV91cGRhdGUgIiR7bW11cmx9IiAiJHttbWRpcn0iOyBleGl0ICQ/OzsKKwk6 KSBlcnJvciAxICJFeHBlY3RlZCBhcmd1bWVudDogLSR7T1BUQVJHfSI7OworCSopIGVycm9yIDEg IlVua25vd24gYXJndW1lbnQ6IC0ke09QVEFSR30iOzsKKwllc2FjCitkb25lCitzaGlmdCAkKChP UFRJTkQgLSAxKSkKKworZXhlYyBybHdyYXAgLS1jb21wbGV0ZS1maWxlbmFtZXMgXAorCW1ldGFt YXRoICR7d2lkdGgrInNldCB3aWR0aCAke3dpZHRofSJ9IFwKKwkgICAgICAgICAke2hlaWdodCsi c2V0IGhlaWdodCAkKChoZWlnaHQgLSAxKSkifSBcCisJICAgICAgICAgJHtyYysic3VibWl0ICck e3JjfScifSBcCisJICAgICAgICAgJHtkYisicmVhZCAnJHttbWRpcn0vJHtkYn0nIn0gXAorCSAg ICAgICAgICIke0B9IgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9tZXRhbWF0aC9wYXRjaGVzL3JlbW92 ZS1taXNzaW5nLWZpbGUtcmVmcy5wYXRjaCBiL3NyY3BrZ3MvbWV0YW1hdGgvcGF0Y2hlcy9yZW1v dmUtbWlzc2luZy1maWxlLXJlZnMucGF0Y2gKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAw MDAwMDAwMDAuLjZmOTkxMDBjZmJhCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9tZXRhbWF0 aC9wYXRjaGVzL3JlbW92ZS1taXNzaW5nLWZpbGUtcmVmcy5wYXRjaApAQCAtMCwwICsxLDE3IEBA CistLS0gTWFrZWZpbGUuYW0JMjAyMC0wMS0yNyAyMDo0Mzo1NS42NTAxOTU2MDIgKzA5MDAKKysr KyBNYWtlZmlsZS5hbQkyMDIwLTAxLTI3IDIwOjQ0OjE4Ljg3NjU3ODAxNCArMDkwMAorQEAgLTM2 LDE0ICszNiw2IEBACisgCW1td3RleC5jIFwKKyAJJChub2luc3RfSEVBREVSUykKKyAKKy1kaXN0 X3BrZ2RhdGFfREFUQSA9IFwKKy0JYmlnLXVuaWZpZXIubW0gXAorLQlkZW1vMC5tbSBcCistCW1p dS5tbSBcCistCXBlYW5vLm1tIFwKKy0JcWwubW0gXAorLQlzZXQubW0KKy0KKyAKKyBFWFRSQV9E SVNUID0gXAorIAlMSUNFTlNFLlRYVCBcCmRpZmYgLS1naXQgYS9zcmNwa2dzL21ldGFtYXRoL3Rl bXBsYXRlIGIvc3JjcGtncy9tZXRhbWF0aC90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NApp bmRleCAwMDAwMDAwMDAwMC4uMGU1M2MyMmJiY2QKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dz L21ldGFtYXRoL3RlbXBsYXRlCkBAIC0wLDAgKzEsMjUgQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3Ig J21ldGFtYXRoJworcGtnbmFtZT1tZXRhbWF0aAordmVyc2lvbj0wLjE4MAorcmV2aXNpb249MQor d3Jrc3JjPSIke3BrZ25hbWV9IgorYnVpbGRfc3R5bGU9Z251LWNvbmZpZ3VyZQoraG9zdG1ha2Vk ZXBlbmRzPSJhdXRvY29uZiBhdXRvbWFrZSB1bnppcCIKK3Nob3J0X2Rlc2M9IlByb29mIHZlcmlm aWVyIGJhc2VkIG9uIGEgbWluaW1hbGlzdCBtZXRhbG9naWMiCittYWludGFpbmVyPSJCLiBXaWxz b24gPHhAd2lsc29uYi5jb20+IgorbGljZW5zZT0iR1BMLTIuMC1vci1sYXRlciIKK2hvbWVwYWdl PSJodHRwOi8vdXMubWV0YW1hdGgub3JnLyIKK2Rpc3RmaWxlcz0iaHR0cDovL3VzLm1ldGFtYXRo Lm9yZy9kb3dubG9hZHMvbWV0YW1hdGgtcHJvZ3JhbS56aXAKKyBodHRwOi8vdXMubWV0YW1hdGgu b3JnL2Rvd25sb2Fkcy9tZXRhbWF0aC5wZGYiCitjaGVja3N1bT0iMDg0YmIzNTYwMDgyM2M4YzZk YjQzNzUyMDNkMjM5YzVkMDVkZjQ0ODhjZTAzNWZkMDVkYTg5MThkZWE3MDI2MQorIDI0NWViYWIx NmQxNDhhOTc3MmY2YzM3NTFiYThmMzRlZTE1YmVkNmJiYjYxYTQ2NGY0YzJhMmY5YzU2ZjgwNTki Citza2lwX2V4dHJhY3Rpb249Im1ldGFtYXRoLnBkZiIKKworcHJlX2NvbmZpZ3VyZSgpIHsKKwlh dXRvcmVjb25mIC1pCit9CisKK3Bvc3RfaW5zdGFsbCgpIHsKKwl2YmluICIke0ZJTEVTRElSfS9t bS5zaCIgbW0KKwl2ZG9jICIke1hCUFNfU1JDRElTVERJUn0vJHtwa2duYW1lfS0ke3ZlcnNpb259 L21ldGFtYXRoLnBkZiIKK30KZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWV0YW1hdGgvdXBkYXRlIGIv c3JjcGtncy9tZXRhbWF0aC91cGRhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAw MDAwMDAuLmQ5NjhjOTZiMDg0Ci0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9tZXRhbWF0aC91 cGRhdGUKQEAgLTAsMCArMSwyIEBACitzaXRlPWh0dHA6Ly91cy5tZXRhbWF0aC5vcmcvaW5kZXgu aHRtbAorcGF0dGVybj0iPEI+bWV0YW1hdGggcHJvZ3JhbTwvQj4gXCh2ZXJzaW9uIFxLW1xkLl0r Igo= --===============7231315286586003894==--