From: elaexuotee--- via Guix-patches via <guix-patches@gnu.org>
To: 42238@debbugs.gnu.org
Subject: [bug#42238] gnu: metamath: Update to 0.183.
Date: Tue, 07 Jul 2020 13:56:38 +0900 [thread overview]
Message-ID: <3AF495BDV48J8.3UR1ZZRM1QMF8@wilsonb.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 47 bytes --]
Upstream updated to 0.183 about a week ago.
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.2: 0001-gnu-metamath-Update-to-0.183.patch --]
[-- Type: text/x-patch, Size: 3214 bytes --]
From 5e7232c2a90ad302c0177bf008b6dd61b59f542e Mon Sep 17 00:00:00 2001
From: "B. Wilson" <elaexuotee@wilsonb.com>
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
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 260 bytes --]
next reply other threads:[~2020-07-07 4:57 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-07 4:56 elaexuotee--- via Guix-patches via [this message]
2020-07-07 12:04 ` [bug#42238] gnu: metamath: Update to 0.183 Nicolas Goaziou
2020-07-07 12:04 ` bug#42238: " Nicolas Goaziou
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3AF495BDV48J8.3UR1ZZRM1QMF8@wilsonb.com \
--to=guix-patches@gnu.org \
--cc=42238@debbugs.gnu.org \
--cc=elaexuotee@wilsonb.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).