Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] New package: metamath-0.178
@ 2019-10-23  5:57 voidlinux-github
  2019-10-23  6:28 ` voidlinux-github
                   ` (4 more replies)
  0 siblings, 5 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-23  5:57 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 323 bytes --]

There is a new pull request by xelxebar against master on the void-packages repository

https://github.com/xelxebar/void-packages package/metamath
https://github.com/void-linux/void-packages/pull/15721

New package: metamath-0.178


A patch file from https://github.com/void-linux/void-packages/pull/15721.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-15721.patch --]
[-- Type: text/x-diff, Size: 1616 bytes --]

From 2196cfa3d3f0002e64c1135012cba0b968c55042 Mon Sep 17 00:00:00 2001
From: "B. Wilson" <x@wilsonb.com>
Date: Mon, 19 Aug 2019 10:44:33 +0900
Subject: [PATCH] New package: metamath-0.178

---
 srcpkgs/metamath/template | 24 ++++++++++++++++++++++++
 srcpkgs/metamath/update   |  2 ++
 2 files changed, 26 insertions(+)
 create mode 100644 srcpkgs/metamath/template
 create mode 100644 srcpkgs/metamath/update

diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..f7ac8517876
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,24 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.178
+revision=1
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake"
+short_desc="Mathematical proof checker based on a minimalist metalogic"
+maintainer="B. Wilson <x@wilsonb.com>"
+license="GPL-2.0-or-later"
+homepage="http://us.metamath.org/"
+distfiles="http://us.metamath.org/downloads/${pkgname}.tar.bz2
+ http://us.metamath.org/downloads/metamath.pdf"
+checksum="ecb95fb6aeca84694081d2e85957a42fb088a9b945c38f8f7b0bca8fd132aa79
+ 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
+skip_extraction="metamath.pdf"
+
+pre_configure() {
+	autoreconf -i
+}
+
+post_install() {
+	vdoc "${XBPS_SRCDISTDIR}/${pkgname}-${version}/metamath.pdf"
+}
diff --git a/srcpkgs/metamath/update b/srcpkgs/metamath/update
new file mode 100644
index 00000000000..d968c96b084
--- /dev/null
+++ b/srcpkgs/metamath/update
@@ -0,0 +1,2 @@
+site=http://us.metamath.org/index.html
+pattern="<B>metamath program</B> \(version \K[\d.]+"

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: New package: metamath-0.178
  2019-10-23  5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
@ 2019-10-23  6:28 ` voidlinux-github
  2019-10-23  6:34 ` voidlinux-github
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-23  6:28 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 217 bytes --]

New comment by xelxebar on void-packages repository

https://github.com/void-linux/void-packages/pull/15721#issuecomment-545289375

Comment:
Oh boy. It looks like upstream's url to the source is getting ninja edited.

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: New package: metamath-0.178
  2019-10-23  5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
  2019-10-23  6:28 ` voidlinux-github
@ 2019-10-23  6:34 ` voidlinux-github
  2019-10-27 17:40 ` voidlinux-github
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-23  6:34 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 498 bytes --]

New comment by xelxebar on void-packages repository

https://github.com/void-linux/void-packages/pull/15721#issuecomment-545289375

Comment:
Oh boy. It looks like upstream's url to the source is getting ninja edited.
The proofs database is packaged together with the verifier, so I assume that upstream is retarring the source with updated databases while the verifier itself remains unchanged. Hence, the public version number and url remain the same, but the actual tar these point to is fluid.

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: New package: metamath-0.178
  2019-10-23  5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
  2019-10-23  6:28 ` voidlinux-github
  2019-10-23  6:34 ` voidlinux-github
@ 2019-10-27 17:40 ` voidlinux-github
  2019-11-07 19:21 ` voidlinux-github
  2020-01-27 15:19 ` [PR PATCH] [Closed]: [nomerge] " voidlinux-github
  4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-27 17:40 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 264 bytes --]

New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/15721#issuecomment-546717025

Comment:
Changing tarballs are bad for us, they break rebuilds. Perhaps instead use githashes and assemble the repo yourself?

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: New package: metamath-0.178
  2019-10-23  5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
                   ` (2 preceding siblings ...)
  2019-10-27 17:40 ` voidlinux-github
@ 2019-11-07 19:21 ` voidlinux-github
  2020-01-27 15:19 ` [PR PATCH] [Closed]: [nomerge] " voidlinux-github
  4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-11-07 19:21 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 240 bytes --]

New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/pull/15721#issuecomment-551225341

Comment:
in case the exact same contents get repackaged, you could prepend `@` do the checksum, see Manual.md

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: [PR PATCH] [Closed]: [nomerge] New package: metamath-0.178
  2019-10-23  5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
                   ` (3 preceding siblings ...)
  2019-11-07 19:21 ` voidlinux-github
@ 2020-01-27 15:19 ` voidlinux-github
  4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2020-01-27 15:19 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 171 bytes --]

There's a closed pull request on the void-packages repository

[nomerge] New package: metamath-0.178
https://github.com/void-linux/void-packages/pull/15721

Description:


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: New package: metamath-0.178
  2020-01-27 15:20 [PR PATCH] " voidlinux-github
@ 2020-01-27 15:26 ` voidlinux-github
  0 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2020-01-27 15:26 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 207 bytes --]

New comment by xelxebar on void-packages repository

https://github.com/void-linux/void-packages/pull/18584#issuecomment-578801400

Comment:
In light of the discussion at #17223, I propose this alternative.

^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2020-01-27 15:26 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-10-23  5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
2019-10-23  6:28 ` voidlinux-github
2019-10-23  6:34 ` voidlinux-github
2019-10-27 17:40 ` voidlinux-github
2019-11-07 19:21 ` voidlinux-github
2020-01-27 15:19 ` [PR PATCH] [Closed]: [nomerge] " voidlinux-github
2020-01-27 15:20 [PR PATCH] " voidlinux-github
2020-01-27 15:26 ` voidlinux-github

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 NNTP newsgroup(s).