From patchwork Tue Jul 7 04:56:38 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "ashish.is--- via Guix-patches\" via" X-Patchwork-Id: 23093 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id BF79827BBE1; Tue, 7 Jul 2020 05:57:09 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 4953B172A0 for ; Tue, 7 Jul 2020 05:57:08 +0100 (BST) Received: from localhost ([::1]:53008 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jsffH-00034e-Pj for patchwork@mira.cbaines.net; Tue, 07 Jul 2020 00:57:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51240) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jsffC-00030h-Aj for guix-patches@gnu.org; Tue, 07 Jul 2020 00:57:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52009) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jsffC-000120-1M for guix-patches@gnu.org; Tue, 07 Jul 2020 00:57:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jsffB-0004Xc-Vv for guix-patches@gnu.org; Tue, 07 Jul 2020 00:57:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#42238] gnu: metamath: Update to 0.183. Resent-From: elaexuotee@wilsonb.com Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 07 Jul 2020 04:57:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 42238 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 42238@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.159409781817444 (code B ref -1); Tue, 07 Jul 2020 04:57:01 +0000 Received: (at submit) by debbugs.gnu.org; 7 Jul 2020 04:56:58 +0000 Received: from localhost ([127.0.0.1]:35322 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jsff3-0004XD-FD for submit@debbugs.gnu.org; Tue, 07 Jul 2020 00:56:58 -0400 Received: from lists.gnu.org ([209.51.188.17]:51698) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jsff0-0004X5-QZ for submit@debbugs.gnu.org; Tue, 07 Jul 2020 00:56:52 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51234) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jsff0-0002cO-HD for guix-patches@gnu.org; Tue, 07 Jul 2020 00:56:50 -0400 Received: from m42-5.mailgun.net ([69.72.42.5]:44869) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jsfey-00011P-6A for guix-patches@gnu.org; Tue, 07 Jul 2020 00:56:50 -0400 DKIM-Signature: a=rsa-sha256; v=1; c=relaxed/relaxed; d=mg.wilsonb.com; q=dns/txt; s=krs; t=1594097806; h=Content-Type: MIME-Version: Message-Id: Subject: From: To: Date: Sender; bh=0oUzFdp8+huszmKGDlnNKR4ZchPQiis1j7cjpUOkZgI=; b=ps8urMSJZs0M5SNglFQTE48jcG1HtHOeg/UPsXPam+BGIEA70udS9v8Gclw1UO1MFMrlEBlS vgOI2Sv2tNQSStg35JpTO8z1j2h5oIC1WVEhD5M5eTZEN9n4xUwJRpOzZhS4r/5z9aIEUimP zgryWSqxVuNm70mPx7OHcR96kYnkQO9F0NWVzrOtxDtkWoi+6r1ibl6gf/FkS28xf0ceHz/d VBKFVyCE7i+B2a/pATnbNMnCrEuALLGQFrIt0ABCySy8vX94FQoACKAEOkBFELL1feaGKqqv J8X9NREJKsZ/14mVwQvhDnph1U9ACdbt2bxpJvHAv4ZkO+HSBKd32A== X-Mailgun-Sending-Ip: 69.72.42.5 X-Mailgun-Sid: WyI5MmEzMyIsICJndWl4LXBhdGNoZXNAZ251Lm9yZyIsICIwODU0N2EiXQ== Received: from wilsonb.com (wilsonb.com [104.199.203.42]) by smtp-out-n01.prod.us-east-1.postgun.com with SMTP id 5f04008dbca1ed3155a7c4ec (version=TLS1.3, cipher=TLS_AES_128_GCM_SHA256); Tue, 07 Jul 2020 04:56:45 GMT Received: from localhost (KD111239204107.au-net.ne.jp [111.239.204.107]) by wilsonb.com (Postfix) with ESMTPSA id 050F3A2C46 for ; Tue, 7 Jul 2020 04:56:41 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=wilsonb.com; s=201703; t=1594097802; bh=0oUzFdp8+huszmKGDlnNKR4ZchPQiis1j7cjpUOkZgI=; h=Date:To:From:Subject:From; b=Cq4orkPynpAbW5fZgcnSOyaV8U93OSs4rXTFk123SA1sU4kKXfp8uOLapJY9AN7QN 7D1wb/aGBj0pegiyF1YhJ3aK3+nC1MJq2ugxd1fuxQD4RWTNH2HSWyblV70IqdwQiY Azl+f3iwMYtWJDGtYHWjWqIbkHulZ6nF45A6c/ZlOUQd5QErHcaaQYmGrBGCi3g+or HYmDZQvW5gZrFysdCrXlULOYCvVFmSI7/cnbIIpEsEb8gK8Mz2+EHN0LpEg+LaEGEm 61IWM/G/6p7UEfEbLo81d1gsB+kyaRr6eZ/p2nrWVNjqgYKw6LXle0uNFI3CLnCPOg DOX8/baoGLDw8C/tWagJx50s5dJQ28TSqaPrVq3lgm87E55M0H791nq6hvGzTrIUQ3 vRhaGCvVFrRjq40efyNfKD/qhl0hFYu+aC6Y6GWEFk5Yz2jvRUxzvrSBEOs/mNniUF Y3b2Aly1caiy7SqMMTuO25TVvbBp5oz+xR2sO85hWtwyG83f+klKtHMMOkNaFFw1OP L5GlPpAdQ6jRna380KiBHpBSqL6pTjGhUqo9/NMIwesiALFFugPstZN7TFlQ41SGhv RgWdYAXXKNc7Ud0ewnpWarFtPinR203TSUHmLg+f9Godm6qkjNe+En7YrXIIKciIlS nGBG2grd85vEKB3hN5KW9r48= Date: Tue, 07 Jul 2020 13:56:38 +0900 Message-Id: <3AF495BDV48J8.3UR1ZZRM1QMF8@wilsonb.com> User-Agent: mblaze/0.7 MIME-Version: 1.0 Received-SPF: pass client-ip=69.72.42.5; envelope-from=bounce+686de0.08547a-guix-patches=gnu.org@mg.wilsonb.com; helo=m42-5.mailgun.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/07/07 00:56:45 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -30 X-Spam_score: -3.1 X-Spam_bar: --- X-Spam_report: (-3.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: elaexuotee@wilsonb.com, elaexuotee--- via Guix-patches X-Patchwork-Original-From: elaexuotee--- via Guix-patches via From: "ashish.is--- via Guix-patches\" via" X-getmail-retrieved-from-mailbox: Patches Upstream updated to 0.183 about a week ago. From 5e7232c2a90ad302c0177bf008b6dd61b59f542e Mon Sep 17 00:00:00 2001 From: "B. Wilson" Date: Tue, 7 Jul 2020 13:52:30 +0900 Subject: [PATCH] gnu: metamath: Update to 0.183. To: guix-patches@gnu.org * gnu/packages/maths.scm (metamath): Update to 0.183. --- gnu/packages/maths.scm | 48 ++++++++++++++++++------------------------ 1 file changed, 21 insertions(+), 27 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 5ea505764a..dbc670178a 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2411,32 +2411,26 @@ bindings to almost all functions of SLEPc.") (license license:bsd-3))) (define-public metamath - ;; Upstream pushed a commit on top of v0.182 that fixes a bug in Makefile.am. - ;; Using this commit lets us avoid directly including the patch here. In the - ;; next version bump, we should be able to replace this and directly use the - ;; version tag. - (let ((commit "5df616efe4119ff88daf77e7041d45b6fa39c578") - (revision "0")) - (package - (name "metamath") - (version (git-version "0.182" revision commit)) - (source - (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/metamath/metamath-exe.git") - (commit commit))) - (file-name (git-file-name name version)) - (sha256 - (base32 "0amjdgy42c7jypf6sz98iczlxcyl9bqx67ws1q8w2zdqk2izsyjp")))) - (build-system gnu-build-system) - (native-inputs - `(("autoconf" ,autoconf) - ("automake" ,automake))) - (home-page "http://us.metamath.org/") - (synopsis "Proof verifier based on a minimalistic formalism") - (description - "Metamath is a tiny formal language and that can express theorems in + (package + (name "metamath") + (version "0.183") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/metamath/metamath-exe.git") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1jjf4fy6j53i40dh0yv0f9sngnw4gs24cig99vsg3q0303pwrhg7")))) + (build-system gnu-build-system) + (native-inputs + `(("autoconf" ,autoconf) + ("automake" ,automake))) + (home-page "http://us.metamath.org/") + (synopsis "Proof verifier based on a minimalistic formalism") + (description + "Metamath is a tiny formal language and that can express theorems in abstract mathematics, with an accompyaning @command{metamath} executable that verifies databases of these proofs. There is a public database, @url{https://github.com/metamath/set.mm, set.mm}, implementing first-order @@ -2444,7 +2438,7 @@ logic and Zermelo-Frenkel set theory with Choice, along with a large swath of associated, high-level theorems, e.g.@: the fundamental theorem of arithmetic, the Cauchy-Schwarz inequality, Stirling's formula, etc. See the Metamath book.") - (license license:gpl2+)))) + (license license:gpl2+))) (define-public mumps (package -- 2.27.0