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 da2805f5 for ; Mon, 27 Jan 2020 15:20:28 +0000 (UTC) Content-Type: multipart/mixed; boundary="===============0449807730364605486==" 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: Mon, 27 Jan 2020 16:20:27 +0100 GitHub notification mails are now in MIME to allow UTF8. --===============0449807730364605486== MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IHhlbHhlYmFyIGFnYWluc3QgbWFzdGVyIG9u IHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS94ZWx4ZWJh ci92b2lkLXBhY2thZ2VzIHBhY2thZ2UvbWV0YW1hdGgKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQt bGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzE4NTg0CgpOZXcgcGFja2FnZTogbWV0YW1hdGgtMC4x NzgKCgpBIHBhdGNoIGZpbGUgZnJvbSBodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lk LXBhY2thZ2VzL3B1bGwvMTg1ODQucGF0Y2ggaXMgYXR0YWNoZWQ= --===============0449807730364605486== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-package/metamath-18584.patch" RnJvbSA0MWRlZTkxNTA1ODAwNDFkMmYzYjlkMmJjNzQwYmJlMjAyNzJiYjczIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiAiQi4gV2lsc29uIiA8eEB3aWxzb25iLmNvbT4KRGF0ZTogTW9u LCAxOSBBdWcgMjAxOSAxMDo0NDozMyArMDkwMApTdWJqZWN0OiBbUEFUQ0hdIE5ldyBwYWNrYWdl OiBtZXRhbWF0aC0wLjE3OAoKLS0tCiBzcmNwa2dzL21ldGFtYXRoL2ZpbGVzL21tLnNoICAgICAg ICAgICAgICAgICAgfCA3MiArKysrKysrKysrKysrKysrKysrCiAuLi4vcGF0Y2hlcy9yZW1vdmUt bWlzc2luZy1maWxlLXJlZnMucGF0Y2ggICAgfCAxNyArKysrKwogc3JjcGtncy9tZXRhbWF0aC90 ZW1wbGF0ZSAgICAgICAgICAgICAgICAgICAgIHwgMjUgKysrKysrKwogc3JjcGtncy9tZXRhbWF0 aC91cGRhdGUgICAgICAgICAgICAgICAgICAgICAgIHwgIDIgKwogNCBmaWxlcyBjaGFuZ2VkLCAx MTYgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNzU1IHNyY3BrZ3MvbWV0YW1hdGgvZmls ZXMvbW0uc2gKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL21ldGFtYXRoL3BhdGNoZXMvcmVt b3ZlLW1pc3NpbmctZmlsZS1yZWZzLnBhdGNoCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9t ZXRhbWF0aC90ZW1wbGF0ZQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3MvbWV0YW1hdGgvdXBk YXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9tZXRhbWF0aC9maWxlcy9tbS5zaCBiL3NyY3BrZ3Mv bWV0YW1hdGgvZmlsZXMvbW0uc2gKbmV3IGZpbGUgbW9kZSAxMDA3NTUKaW5kZXggMDAwMDAwMDAw MDAuLjRjYjc4YTZmZGZhCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9tZXRhbWF0aC9maWxl 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 UFRJTkQgLSAxKSkKKworcmx3cmFwIC0tY29tcGxldGUtZmlsZW5hbWVzIFwKKwltZXRhbWF0aCAk e3dpZHRoKyJzZXQgd2lkdGggJHt3aWR0aH0ifSBcCisJICAgICAgICAgJHtoZWlnaHQrInNldCBo ZWlnaHQgJHtoZWlnaHR9In0gXAorCSAgICAgICAgICR7cmMrInN1Ym1pdCAnJHtyY30nIn0gXAor CSAgICAgICAgICR7ZGIrInJlYWQgJyR7bW1kaXJ9LyR7ZGJ9JyJ9IFwKKwkgICAgICAgICAiJHtA fSIKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWV0YW1hdGgvcGF0Y2hlcy9yZW1vdmUtbWlzc2luZy1m aWxlLXJlZnMucGF0Y2ggYi9zcmNwa2dzL21ldGFtYXRoL3BhdGNoZXMvcmVtb3ZlLW1pc3Npbmct ZmlsZS1yZWZzLnBhdGNoCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwLi42 Zjk5MTAwY2ZiYQotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvbWV0YW1hdGgvcGF0Y2hlcy9y ZW1vdmUtbWlzc2luZy1maWxlLXJlZnMucGF0Y2gKQEAgLTAsMCArMSwxNyBAQAorLS0tIE1ha2Vm aWxlLmFtCTIwMjAtMDEtMjcgMjA6NDM6NTUuNjUwMTk1NjAyICswOTAwCisrKysgTWFrZWZpbGUu YW0JMjAyMC0wMS0yNyAyMDo0NDoxOC44NzY1NzgwMTQgKzA5MDAKK0BAIC0zNiwxNCArMzYsNiBA QAorIAltbXd0ZXguYyBcCisgCSQobm9pbnN0X0hFQURFUlMpCisgCistZGlzdF9wa2dkYXRhX0RB VEEgPSBcCistCWJpZy11bmlmaWVyLm1tIFwKKy0JZGVtbzAubW0gXAorLQltaXUubW0gXAorLQlw ZWFuby5tbSBcCistCXFsLm1tIFwKKy0Jc2V0Lm1tCistCisgCisgRVhUUkFfRElTVCA9IFwKKyAJ TElDRU5TRS5UWFQgXApkaWZmIC0tZ2l0IGEvc3JjcGtncy9tZXRhbWF0aC90ZW1wbGF0ZSBiL3Ny Y3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAw MDAwMDAuLjYzN2EwMDEzZGZkCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9tZXRhbWF0aC90 ZW1wbGF0ZQpAQCAtMCwwICsxLDI1IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdtZXRhbWF0aCcK K3BrZ25hbWU9bWV0YW1hdGgKK3ZlcnNpb249MC4xNzgKK3JldmlzaW9uPTEKK3dya3NyYz0iJHtw a2duYW1lfSIKK2J1aWxkX3N0eWxlPWdudS1jb25maWd1cmUKK2hvc3RtYWtlZGVwZW5kcz0iYXV0 b2NvbmYgYXV0b21ha2UgdW56aXAiCitzaG9ydF9kZXNjPSJQcm9vZiB2ZXJpZmllciBiYXNlZCBv biBhIG1pbmltYWxpc3QgbWV0YWxvZ2ljIgorbWFpbnRhaW5lcj0iQi4gV2lsc29uIDx4QHdpbHNv bmIuY29tPiIKK2xpY2Vuc2U9IkdQTC0yLjAtb3ItbGF0ZXIiCitob21lcGFnZT0iaHR0cDovL3Vz Lm1ldGFtYXRoLm9yZy8iCitkaXN0ZmlsZXM9Imh0dHA6Ly91cy5tZXRhbWF0aC5vcmcvZG93bmxv YWRzL21ldGFtYXRoLXByb2dyYW0uemlwCisgaHR0cDovL3VzLm1ldGFtYXRoLm9yZy9kb3dubG9h ZHMvbWV0YW1hdGgucGRmIgorY2hlY2tzdW09Ijc1ZmU4ZTgzYzRmZGUyMTA0ZTI0ZTM4ZGE4NDgw YjUxMmRmM2RmZjQwZDQ2ZTVkNDBlMDM4YmQ3YTczNTU3ZGUKKyAyNDVlYmFiMTZkMTQ4YTk3NzJm NmMzNzUxYmE4ZjM0ZWUxNWJlZDZiYmI2MWE0NjRmNGMyYTJmOWM1NmY4MDU5Igorc2tpcF9leHRy YWN0aW9uPSJtZXRhbWF0aC5wZGYiCisKK3ByZV9jb25maWd1cmUoKSB7CisJYXV0b3JlY29uZiAt aQorfQorCitwb3N0X2luc3RhbGwoKSB7CisJdmJpbiAiJHtGSUxFU0RJUn0vbW0uc2giIG1tCisJ dmRvYyAiJHtYQlBTX1NSQ0RJU1RESVJ9LyR7cGtnbmFtZX0tJHt2ZXJzaW9ufS9tZXRhbWF0aC5w ZGYiCit9CmRpZmYgLS1naXQgYS9zcmNwa2dzL21ldGFtYXRoL3VwZGF0ZSBiL3NyY3BrZ3MvbWV0 YW1hdGgvdXBkYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwLi5kOTY4 Yzk2YjA4NAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvbWV0YW1hdGgvdXBkYXRlCkBAIC0w LDAgKzEsMiBAQAorc2l0ZT1odHRwOi8vdXMubWV0YW1hdGgub3JnL2luZGV4Lmh0bWwKK3BhdHRl cm49IjxCPm1ldGFtYXRoIHByb2dyYW08L0I+IFwodmVyc2lvbiBcS1tcZC5dKyIK --===============0449807730364605486==--