* [PR PATCH] New package: metamath-0.178
@ 2020-01-27 15:20 voidlinux-github
2020-01-27 15:26 ` voidlinux-github
` (21 more replies)
0 siblings, 22 replies; 23+ messages in thread
From: voidlinux-github @ 2020-01-27 15:20 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/18584
New package: metamath-0.178
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 4266 bytes --]
From 41dee9150580041d2f3b9d2bc740bbe20272bb73 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/files/mm.sh | 72 +++++++++++++++++++
.../patches/remove-missing-file-refs.patch | 17 +++++
srcpkgs/metamath/template | 25 +++++++
srcpkgs/metamath/update | 2 +
4 files changed, 116 insertions(+)
create mode 100755 srcpkgs/metamath/files/mm.sh
create mode 100644 srcpkgs/metamath/patches/remove-missing-file-refs.patch
create mode 100644 srcpkgs/metamath/template
create mode 100644 srcpkgs/metamath/update
diff --git a/srcpkgs/metamath/files/mm.sh b/srcpkgs/metamath/files/mm.sh
new file mode 100755
index 00000000000..4cb78a6fdfa
--- /dev/null
+++ b/srcpkgs/metamath/files/mm.sh
@@ -0,0 +1,72 @@
+#!/usr/bin/env sh
+set -o errexit -o nounset -o noclobber
+
+
+show_usage() {
+>&2 cat <<USAGE
+Usage: mm [-hlu] [-d <database>] [-r <rcfile>] [<args>]
+
+OPTIONS
+ -d <database> Load <database>
+ -r <rcfile> Submit <rcfile> commands on startup, defaults to ~/.metamathrc
+ -l List available databases
+ -u Update databases
+ -h Display this help message
+USAGE
+}
+
+error() {
+ errno=${1}
+ msg=${2}
+
+ >&2 echo "${msg}"
+ show_usage
+ exit "${errno}"
+}
+
+mm_update() {
+ url=${1}
+ dir=${2}
+
+ command -v git >/dev/null || return 1
+ [ -d "${dir}" ] || mkdir -p "${dir}"
+
+ if [ -d "${dir}/.git" ]; then
+ git -C "${dir}" pull
+ else
+ git clone "${url}" "${dir}"
+ fi
+}
+
+
+mmdir="${METAMATH_DIR:-/var/lib/metamath}"
+mmurl="${METAMATH_URL:-https://github.com/metamath/set.mm}"
+rc="${rc:-${HOME}/.metamathrc}"
+
+[ -r "${rc}" ] || unset rc
+
+if command -v tput >/dev/null; then
+ width=$(tput cols)
+ height=$(tput lines)
+fi
+
+
+while getopts ':d:r:hlu' opt "${@}"; do
+ case "${opt}" in
+ d) db="${OPTARG}";;
+ r) rc="${OPTARG}";;
+ h) show_usage; exit 0;;
+ l) find "${mmdir}" -name '*.mm' -printf '%P\n'; exit;;
+ u) mm_update "${mmurl}" "${mmdir}"; exit $?;;
+ :) error 1 "Expected argument: -${OPTARG}";;
+ *) error 1 "Unknown argument: -${OPTARG}";;
+ esac
+done
+shift $((OPTIND - 1))
+
+rlwrap --complete-filenames \
+ metamath ${width+"set width ${width}"} \
+ ${height+"set height ${height}"} \
+ ${rc+"submit '${rc}'"} \
+ ${db+"read '${mmdir}/${db}'"} \
+ "${@}"
diff --git a/srcpkgs/metamath/patches/remove-missing-file-refs.patch b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
new file mode 100644
index 00000000000..6f99100cfba
--- /dev/null
+++ b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
@@ -0,0 +1,17 @@
+--- Makefile.am 2020-01-27 20:43:55.650195602 +0900
++++ Makefile.am 2020-01-27 20:44:18.876578014 +0900
+@@ -36,14 +36,6 @@
+ mmwtex.c \
+ $(noinst_HEADERS)
+
+-dist_pkgdata_DATA = \
+- big-unifier.mm \
+- demo0.mm \
+- miu.mm \
+- peano.mm \
+- ql.mm \
+- set.mm
+-
+
+ EXTRA_DIST = \
+ LICENSE.TXT \
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..637a0013dfd
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.178
+revision=1
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake unzip"
+short_desc="Proof verifier 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/metamath-program.zip
+ http://us.metamath.org/downloads/metamath.pdf"
+checksum="75fe8e83c4fde2104e24e38da8480b512df3dff40d46e5d40e038bd7a73557de
+ 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
+skip_extraction="metamath.pdf"
+
+pre_configure() {
+ autoreconf -i
+}
+
+post_install() {
+ vbin "${FILESDIR}/mm.sh" mm
+ 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] 23+ messages in thread
* Re: New package: metamath-0.178
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
@ 2020-01-27 15:26 ` voidlinux-github
2020-01-31 1:14 ` [PR PATCH] [Updated] " voidlinux-github
` (20 subsequent siblings)
21 siblings, 0 replies; 23+ 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] 23+ messages in thread
* Re: [PR PATCH] [Updated] New package: metamath-0.178
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
2020-01-27 15:26 ` voidlinux-github
@ 2020-01-31 1:14 ` voidlinux-github
2020-01-31 1:17 ` New package: metamath-0.180 voidlinux-github
` (19 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: voidlinux-github @ 2020-01-31 1:14 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 328 bytes --]
There is an updated 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/18584
New package: metamath-0.178
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 4266 bytes --]
From b2cfad1fbbb749ba5a5880cb9e30be481a501440 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.180
---
srcpkgs/metamath/files/mm.sh | 72 +++++++++++++++++++
.../patches/remove-missing-file-refs.patch | 17 +++++
srcpkgs/metamath/template | 25 +++++++
srcpkgs/metamath/update | 2 +
4 files changed, 116 insertions(+)
create mode 100755 srcpkgs/metamath/files/mm.sh
create mode 100644 srcpkgs/metamath/patches/remove-missing-file-refs.patch
create mode 100644 srcpkgs/metamath/template
create mode 100644 srcpkgs/metamath/update
diff --git a/srcpkgs/metamath/files/mm.sh b/srcpkgs/metamath/files/mm.sh
new file mode 100755
index 00000000000..4cb78a6fdfa
--- /dev/null
+++ b/srcpkgs/metamath/files/mm.sh
@@ -0,0 +1,72 @@
+#!/usr/bin/env sh
+set -o errexit -o nounset -o noclobber
+
+
+show_usage() {
+>&2 cat <<USAGE
+Usage: mm [-hlu] [-d <database>] [-r <rcfile>] [<args>]
+
+OPTIONS
+ -d <database> Load <database>
+ -r <rcfile> Submit <rcfile> commands on startup, defaults to ~/.metamathrc
+ -l List available databases
+ -u Update databases
+ -h Display this help message
+USAGE
+}
+
+error() {
+ errno=${1}
+ msg=${2}
+
+ >&2 echo "${msg}"
+ show_usage
+ exit "${errno}"
+}
+
+mm_update() {
+ url=${1}
+ dir=${2}
+
+ command -v git >/dev/null || return 1
+ [ -d "${dir}" ] || mkdir -p "${dir}"
+
+ if [ -d "${dir}/.git" ]; then
+ git -C "${dir}" pull
+ else
+ git clone "${url}" "${dir}"
+ fi
+}
+
+
+mmdir="${METAMATH_DIR:-/var/lib/metamath}"
+mmurl="${METAMATH_URL:-https://github.com/metamath/set.mm}"
+rc="${rc:-${HOME}/.metamathrc}"
+
+[ -r "${rc}" ] || unset rc
+
+if command -v tput >/dev/null; then
+ width=$(tput cols)
+ height=$(tput lines)
+fi
+
+
+while getopts ':d:r:hlu' opt "${@}"; do
+ case "${opt}" in
+ d) db="${OPTARG}";;
+ r) rc="${OPTARG}";;
+ h) show_usage; exit 0;;
+ l) find "${mmdir}" -name '*.mm' -printf '%P\n'; exit;;
+ u) mm_update "${mmurl}" "${mmdir}"; exit $?;;
+ :) error 1 "Expected argument: -${OPTARG}";;
+ *) error 1 "Unknown argument: -${OPTARG}";;
+ esac
+done
+shift $((OPTIND - 1))
+
+rlwrap --complete-filenames \
+ metamath ${width+"set width ${width}"} \
+ ${height+"set height ${height}"} \
+ ${rc+"submit '${rc}'"} \
+ ${db+"read '${mmdir}/${db}'"} \
+ "${@}"
diff --git a/srcpkgs/metamath/patches/remove-missing-file-refs.patch b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
new file mode 100644
index 00000000000..6f99100cfba
--- /dev/null
+++ b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
@@ -0,0 +1,17 @@
+--- Makefile.am 2020-01-27 20:43:55.650195602 +0900
++++ Makefile.am 2020-01-27 20:44:18.876578014 +0900
+@@ -36,14 +36,6 @@
+ mmwtex.c \
+ $(noinst_HEADERS)
+
+-dist_pkgdata_DATA = \
+- big-unifier.mm \
+- demo0.mm \
+- miu.mm \
+- peano.mm \
+- ql.mm \
+- set.mm
+-
+
+ EXTRA_DIST = \
+ LICENSE.TXT \
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..d5ca19e106f
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.180
+revision=1
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake unzip"
+short_desc="Proof verifier 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/metamath-program.zip
+ http://us.metamath.org/downloads/metamath.pdf"
+checksum="75fe8e83c4fde2104e24e38da8480b512df3dff40d46e5d40e038bd7a73557de
+ 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
+skip_extraction="metamath.pdf"
+
+pre_configure() {
+ autoreconf -i
+}
+
+post_install() {
+ vbin "${FILESDIR}/mm.sh" mm
+ 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] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
2020-01-27 15:26 ` voidlinux-github
2020-01-31 1:14 ` [PR PATCH] [Updated] " voidlinux-github
@ 2020-01-31 1:17 ` voidlinux-github
2020-02-01 3:25 ` voidlinux-github
` (18 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: voidlinux-github @ 2020-01-31 1:17 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 234 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-580537280
Comment:
Whoops. I just realized that upstream upgraded while I kept an old version number. Fixed PR.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (2 preceding siblings ...)
2020-01-31 1:17 ` New package: metamath-0.180 voidlinux-github
@ 2020-02-01 3:25 ` voidlinux-github
2020-02-02 15:37 ` [PR PATCH] [Updated] " voidlinux-github
` (17 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: voidlinux-github @ 2020-02-01 3:25 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 251 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-580986279
Comment:
No way... they ninja edited the source archive again. I thought this was worked out. Have contacted upstream.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: [PR PATCH] [Updated] New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (3 preceding siblings ...)
2020-02-01 3:25 ` voidlinux-github
@ 2020-02-02 15:37 ` voidlinux-github
2020-02-04 13:08 ` voidlinux-github
` (16 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: voidlinux-github @ 2020-02-02 15:37 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 328 bytes --]
There is an updated 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/18584
New package: metamath-0.180
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 4277 bytes --]
From a984ad149128ff8d8753d6d61495c42d90053d8b 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.180
---
srcpkgs/metamath/files/mm.sh | 72 +++++++++++++++++++
.../patches/remove-missing-file-refs.patch | 17 +++++
srcpkgs/metamath/template | 25 +++++++
srcpkgs/metamath/update | 2 +
4 files changed, 116 insertions(+)
create mode 100755 srcpkgs/metamath/files/mm.sh
create mode 100644 srcpkgs/metamath/patches/remove-missing-file-refs.patch
create mode 100644 srcpkgs/metamath/template
create mode 100644 srcpkgs/metamath/update
diff --git a/srcpkgs/metamath/files/mm.sh b/srcpkgs/metamath/files/mm.sh
new file mode 100755
index 00000000000..8af9f686126
--- /dev/null
+++ b/srcpkgs/metamath/files/mm.sh
@@ -0,0 +1,72 @@
+#!/usr/bin/env sh
+set -o errexit -o nounset -o noclobber
+
+
+show_usage() {
+>&2 cat <<USAGE
+Usage: mm [-hlu] [-d <database>] [-r <rcfile>] [<args>]
+
+OPTIONS
+ -d <database> Load <database>
+ -r <rcfile> Submit <rcfile> commands on startup, defaults to ~/.metamathrc
+ -l List available databases
+ -u Update databases
+ -h Display this help message
+USAGE
+}
+
+error() {
+ errno=${1}
+ msg=${2}
+
+ >&2 echo "${msg}"
+ show_usage
+ exit "${errno}"
+}
+
+mm_update() {
+ url=${1}
+ dir=${2}
+
+ command -v git >/dev/null || return 1
+ [ -d "${dir}" ] || mkdir -p "${dir}"
+
+ if [ -d "${dir}/.git" ]; then
+ git -C "${dir}" pull
+ else
+ git clone "${url}" "${dir}"
+ fi
+}
+
+
+mmdir="${METAMATH_DIR:-/var/lib/metamath}"
+mmurl="${METAMATH_URL:-https://github.com/metamath/set.mm}"
+rc="${rc:-${HOME}/.metamathrc}"
+
+[ -r "${rc}" ] || unset rc
+
+if command -v tput >/dev/null; then
+ width=$(tput cols)
+ height=$(tput lines)
+fi
+
+
+while getopts ':d:r:hlu' opt "${@}"; do
+ case "${opt}" in
+ d) db="${OPTARG}";;
+ r) rc="${OPTARG}";;
+ h) show_usage; exit 0;;
+ l) find "${mmdir}" -name '*.mm' -printf '%P\n'; exit;;
+ u) mm_update "${mmurl}" "${mmdir}"; exit $?;;
+ :) error 1 "Expected argument: -${OPTARG}";;
+ *) error 1 "Unknown argument: -${OPTARG}";;
+ esac
+done
+shift $((OPTIND - 1))
+
+exec rlwrap --complete-filenames \
+ metamath ${width+"set width ${width}"} \
+ ${height+"set height $((height - 1))"} \
+ ${rc+"submit '${rc}'"} \
+ ${db+"read '${mmdir}/${db}'"} \
+ "${@}"
diff --git a/srcpkgs/metamath/patches/remove-missing-file-refs.patch b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
new file mode 100644
index 00000000000..6f99100cfba
--- /dev/null
+++ b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
@@ -0,0 +1,17 @@
+--- Makefile.am 2020-01-27 20:43:55.650195602 +0900
++++ Makefile.am 2020-01-27 20:44:18.876578014 +0900
+@@ -36,14 +36,6 @@
+ mmwtex.c \
+ $(noinst_HEADERS)
+
+-dist_pkgdata_DATA = \
+- big-unifier.mm \
+- demo0.mm \
+- miu.mm \
+- peano.mm \
+- ql.mm \
+- set.mm
+-
+
+ EXTRA_DIST = \
+ LICENSE.TXT \
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..0e53c22bbcd
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.180
+revision=1
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake unzip"
+short_desc="Proof verifier 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/metamath-program.zip
+ http://us.metamath.org/downloads/metamath.pdf"
+checksum="084bb35600823c8c6db4375203d239c5d05df4488ce035fd05da8918dea70261
+ 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
+skip_extraction="metamath.pdf"
+
+pre_configure() {
+ autoreconf -i
+}
+
+post_install() {
+ vbin "${FILESDIR}/mm.sh" mm
+ 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] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (4 preceding siblings ...)
2020-02-02 15:37 ` [PR PATCH] [Updated] " voidlinux-github
@ 2020-02-04 13:08 ` voidlinux-github
2020-02-05 2:16 ` voidlinux-github
` (15 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: voidlinux-github @ 2020-02-04 13:08 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 399 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-581901576
Comment:
Okay, so it turns out that the source archive was getting automatically regenerated every day, and zip files are not deterministic on input, hence our hash mismatches. After talking to them, they fixed the archive-building scripts, so we should be good now.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (5 preceding siblings ...)
2020-02-04 13:08 ` voidlinux-github
@ 2020-02-05 2:16 ` voidlinux-github
2020-04-23 7:16 ` [PR PATCH] [Updated] " xelxebar
` (14 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: voidlinux-github @ 2020-02-05 2:16 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 267 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-582209259
Comment:
Okay, so I updated the metamath executable wrapper `mm`.
On a side note, is it even reasonable to include such a thing here?
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: [PR PATCH] [Updated] New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (6 preceding siblings ...)
2020-02-05 2:16 ` voidlinux-github
@ 2020-04-23 7:16 ` xelxebar
2020-07-07 2:35 ` xelxebar
` (13 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-04-23 7:16 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 328 bytes --]
There is an updated 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/18584
New package: metamath-0.180
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 4705 bytes --]
From 5b6c4650faeff8418150e1c543cccf7ae0e43917 Mon Sep 17 00:00:00 2001
From: "B. Wilson" <x@wilsonb.com>
Date: Mon, 19 Aug 2019 10:44:33 +0900
Subject: [PATCH 1/3] New package: metamath-0.180
---
.../patches/remove-missing-file-refs.patch | 17 +++++++++++++
srcpkgs/metamath/template | 25 +++++++++++++++++++
srcpkgs/metamath/update | 2 ++
3 files changed, 44 insertions(+)
create mode 100644 srcpkgs/metamath/patches/remove-missing-file-refs.patch
create mode 100644 srcpkgs/metamath/template
create mode 100644 srcpkgs/metamath/update
diff --git a/srcpkgs/metamath/patches/remove-missing-file-refs.patch b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
new file mode 100644
index 00000000000..6f99100cfba
--- /dev/null
+++ b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
@@ -0,0 +1,17 @@
+--- Makefile.am 2020-01-27 20:43:55.650195602 +0900
++++ Makefile.am 2020-01-27 20:44:18.876578014 +0900
+@@ -36,14 +36,6 @@
+ mmwtex.c \
+ $(noinst_HEADERS)
+
+-dist_pkgdata_DATA = \
+- big-unifier.mm \
+- demo0.mm \
+- miu.mm \
+- peano.mm \
+- ql.mm \
+- set.mm
+-
+
+ EXTRA_DIST = \
+ LICENSE.TXT \
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..d32ee243bb6
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.180
+revision=1
+archs="~arm*"
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake unzip"
+short_desc="Proof verifier 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/metamath-program.zip
+ http://us.metamath.org/downloads/metamath.pdf"
+checksum="6c5665a364a054017730d7865c8f8a7da0fb3b1a4d334b98d6a0fe5133dbedf5
+ 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.]+"
From f8fd333be3b93a55febc67f4f51563a0d1f43775 Mon Sep 17 00:00:00 2001
From: "B. Wilson" <x@wilsonb.com>
Date: Thu, 13 Feb 2020 15:39:07 +0900
Subject: [PATCH 2/3] metamath: update to 0.181.
---
srcpkgs/metamath/template | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
index d32ee243bb6..462396d1c73 100644
--- a/srcpkgs/metamath/template
+++ b/srcpkgs/metamath/template
@@ -1,6 +1,6 @@
# Template file for 'metamath'
pkgname=metamath
-version=0.180
+version=0.181
revision=1
archs="~arm*"
wrksrc="${pkgname}"
@@ -10,9 +10,9 @@ short_desc="Proof verifier 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/metamath-program.zip
- http://us.metamath.org/downloads/metamath.pdf"
-checksum="6c5665a364a054017730d7865c8f8a7da0fb3b1a4d334b98d6a0fe5133dbedf5
+distfiles="http://us2.metamath.org/downloads/metamath-program.zip
+ http://us2.metamath.org/downloads/metamath.pdf"
+checksum="37ca8740dc58d89cb2c6512e68ae6df95d548587febf5afd6e25a7b7693944c7
245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
skip_extraction="metamath.pdf"
From af60e5e999c751c73b62e3e01ced0c8814c41ea5 Mon Sep 17 00:00:00 2001
From: "B. Wilson" <x@wilsonb.com>
Date: Thu, 23 Apr 2020 16:16:07 +0900
Subject: [PATCH 3/3] metamath: update to 0.182.
---
srcpkgs/metamath/template | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
index 462396d1c73..8e42ed2f263 100644
--- a/srcpkgs/metamath/template
+++ b/srcpkgs/metamath/template
@@ -1,6 +1,6 @@
# Template file for 'metamath'
pkgname=metamath
-version=0.181
+version=0.182
revision=1
archs="~arm*"
wrksrc="${pkgname}"
@@ -12,7 +12,7 @@ license="GPL-2.0-or-later"
homepage="http://us.metamath.org/"
distfiles="http://us2.metamath.org/downloads/metamath-program.zip
http://us2.metamath.org/downloads/metamath.pdf"
-checksum="37ca8740dc58d89cb2c6512e68ae6df95d548587febf5afd6e25a7b7693944c7
+checksum="e1b89de6d88bb3c4f76510750b4e3fc9dcc3dae0ddca79cd6a6fd2b742732e4c
245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
skip_extraction="metamath.pdf"
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (7 preceding siblings ...)
2020-04-23 7:16 ` [PR PATCH] [Updated] " xelxebar
@ 2020-07-07 2:35 ` xelxebar
2020-07-07 2:58 ` [PR PATCH] [Updated] " xelxebar
` (12 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-07-07 2:35 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 354 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-654562669
Comment:
@sgn As noted above, the urls should be fixed now. In a later thread, I also asked upstream to push version tags to their GitHub repositories, so we could perhaps use those instead. I'll go ahead and do that now.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: [PR PATCH] [Updated] New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (8 preceding siblings ...)
2020-07-07 2:35 ` xelxebar
@ 2020-07-07 2:58 ` xelxebar
2020-07-07 2:59 ` xelxebar
` (11 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-07-07 2:58 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 328 bytes --]
There is an updated 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/18584
New package: metamath-0.180
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 2387 bytes --]
From aa5c546ee3ee88754902dea32983dce5dd283385 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.183
---
.../patches/remove-missing-file-refs.patch | 17 +++++++++++++
srcpkgs/metamath/template | 25 +++++++++++++++++++
srcpkgs/metamath/update | 2 ++
3 files changed, 44 insertions(+)
create mode 100644 srcpkgs/metamath/patches/remove-missing-file-refs.patch
create mode 100644 srcpkgs/metamath/template
create mode 100644 srcpkgs/metamath/update
diff --git a/srcpkgs/metamath/patches/remove-missing-file-refs.patch b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
new file mode 100644
index 00000000000..6f99100cfba
--- /dev/null
+++ b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
@@ -0,0 +1,17 @@
+--- Makefile.am 2020-01-27 20:43:55.650195602 +0900
++++ Makefile.am 2020-01-27 20:44:18.876578014 +0900
+@@ -36,14 +36,6 @@
+ mmwtex.c \
+ $(noinst_HEADERS)
+
+-dist_pkgdata_DATA = \
+- big-unifier.mm \
+- demo0.mm \
+- miu.mm \
+- peano.mm \
+- ql.mm \
+- set.mm
+-
+
+ EXTRA_DIST = \
+ LICENSE.TXT \
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..8e42ed2f263
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.182
+revision=1
+archs="~arm*"
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake unzip"
+short_desc="Proof verifier based on a minimalist metalogic"
+maintainer="B. Wilson <x@wilsonb.com>"
+license="GPL-2.0-or-later"
+homepage="http://us.metamath.org/"
+distfiles="http://us2.metamath.org/downloads/metamath-program.zip
+ http://us2.metamath.org/downloads/metamath.pdf"
+checksum="e1b89de6d88bb3c4f76510750b4e3fc9dcc3dae0ddca79cd6a6fd2b742732e4c
+ 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] 23+ messages in thread
* Re: [PR PATCH] [Updated] New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (9 preceding siblings ...)
2020-07-07 2:58 ` [PR PATCH] [Updated] " xelxebar
@ 2020-07-07 2:59 ` xelxebar
2020-07-07 3:03 ` xelxebar
` (10 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-07-07 2:59 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 328 bytes --]
There is an updated 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/18584
New package: metamath-0.180
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 1658 bytes --]
From ca7bb778ebc51f8dc53e74d91811063f75fca8ef 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.183
---
srcpkgs/metamath/template | 25 +++++++++++++++++++++++++
srcpkgs/metamath/update | 2 ++
2 files changed, 27 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..c7e35264cab
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.183
+revision=1
+archs="~arm*"
+wrksrc="metamath-exe-${version}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake"
+short_desc="Proof verifier based on a minimalist metalogic"
+maintainer="B. Wilson <x@wilsonb.com>"
+license="GPL-2.0-or-later, C0-1.0"
+homepage="http://us.metamath.org/"
+distfiles="https://github.com/metamath/metamath-exe/archive/v${version}.tar.gz
+ http://us2.metamath.org/downloads/metamath.pdf"
+checksum="5c60de534c52269da4e049b35ed5ba2471776b894beaf32c8e3e25d4f41ef6a0
+ 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] 23+ messages in thread
* Re: [PR PATCH] [Updated] New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (10 preceding siblings ...)
2020-07-07 2:59 ` xelxebar
@ 2020-07-07 3:03 ` xelxebar
2020-07-07 3:03 ` xelxebar
` (9 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-07-07 3:03 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 328 bytes --]
There is an updated 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/18584
New package: metamath-0.180
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 1658 bytes --]
From ca7bb778ebc51f8dc53e74d91811063f75fca8ef 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.183
---
srcpkgs/metamath/template | 25 +++++++++++++++++++++++++
srcpkgs/metamath/update | 2 ++
2 files changed, 27 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..c7e35264cab
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.183
+revision=1
+archs="~arm*"
+wrksrc="metamath-exe-${version}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake"
+short_desc="Proof verifier based on a minimalist metalogic"
+maintainer="B. Wilson <x@wilsonb.com>"
+license="GPL-2.0-or-later, C0-1.0"
+homepage="http://us.metamath.org/"
+distfiles="https://github.com/metamath/metamath-exe/archive/v${version}.tar.gz
+ http://us2.metamath.org/downloads/metamath.pdf"
+checksum="5c60de534c52269da4e049b35ed5ba2471776b894beaf32c8e3e25d4f41ef6a0
+ 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] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (11 preceding siblings ...)
2020-07-07 3:03 ` xelxebar
@ 2020-07-07 3:03 ` xelxebar
2020-07-07 4:17 ` ericonr
` (8 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-07-07 3:03 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 317 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-654570628
Comment:
Looks like upstream updated to 0.183 about a week ago. Happily, this also merges in a PR I submitted that fixes the broken `Makefile.am`, so now we can remove the local patch.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (12 preceding siblings ...)
2020-07-07 3:03 ` xelxebar
@ 2020-07-07 4:17 ` ericonr
2020-07-07 4:44 ` [PR PATCH] [Updated] " xelxebar
` (7 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: ericonr @ 2020-07-07 4:17 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 210 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-654588969
Comment:
What about a versioned source for the PDF? They still don't have one?
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: [PR PATCH] [Updated] New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (13 preceding siblings ...)
2020-07-07 4:17 ` ericonr
@ 2020-07-07 4:44 ` xelxebar
2020-07-07 4:48 ` xelxebar
` (6 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-07-07 4:44 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 328 bytes --]
There is an updated 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/18584
New package: metamath-0.180
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 1310 bytes --]
From 8b473b8d5896dd3bc9a845a1a9f9ac196106e3e8 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.183
---
srcpkgs/metamath/template | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
create mode 100644 srcpkgs/metamath/template
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..cbb68225a6f
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.183
+revision=1
+archs="~arm*"
+wrksrc="metamath-exe-${version}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake"
+short_desc="Proof verifier based on a minimalist metalogic"
+maintainer="B. Wilson <x@wilsonb.com>"
+license="GPL-2.0-or-later, CC0-1.0"
+homepage="http://us.metamath.org/"
+distfiles="https://github.com/metamath/metamath-exe/archive/v${version}.tar.gz
+ http://us2.metamath.org/downloads/metamath.pdf"
+checksum="5c60de534c52269da4e049b35ed5ba2471776b894beaf32c8e3e25d4f41ef6a0
+ 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
+skip_extraction="metamath.pdf"
+
+pre_configure() {
+ autoreconf -i
+}
+
+post_install() {
+ vdoc "${XBPS_SRCDISTDIR}/${pkgname}-${version}/metamath.pdf"
+}
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (14 preceding siblings ...)
2020-07-07 4:44 ` [PR PATCH] [Updated] " xelxebar
@ 2020-07-07 4:48 ` xelxebar
2020-08-18 19:17 ` ahesford
` (5 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-07-07 4:48 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 461 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-654597145
Comment:
Ugh. Typo in the licenses. Really wish xlint would catch these things.
@ericonr If we want a versioned URL for the PDF, our only option is to typset the LaTeX sources. I did this for Guix and can do the same here if that's reasonable. My thinking was that pulling in texlive as a native dependency might be too much.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (15 preceding siblings ...)
2020-07-07 4:48 ` xelxebar
@ 2020-08-18 19:17 ` ahesford
2020-08-19 0:21 ` xelxebar
` (4 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: ahesford @ 2020-08-18 19:17 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 398 bytes --]
New comment by ahesford on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-675664674
Comment:
I don't think we should be pulling an unversioned PDF. The program has a manpage and you can vdoc README.txt if there's useful information there. Unless the release tarball includes PDF documentation, let people turn to the web site for richer explanation.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (16 preceding siblings ...)
2020-08-18 19:17 ` ahesford
@ 2020-08-19 0:21 ` xelxebar
2020-08-19 2:31 ` ahesford
` (3 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: xelxebar @ 2020-08-19 0:21 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 593 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-675782023
Comment:
@ahesford Thanks for looking at this. That's reasonable stance. I am happy to remove the pdf if that will get this merged.
That said; the pdf really is the only reasonable local documentation. The man page just provides a terse overview of the internal metamath syntax, and the README only discusses details about building. Upstream's official documentation is the pdf, which is why I figured it makes sense to include it in the package.
Cheers!
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (17 preceding siblings ...)
2020-08-19 0:21 ` xelxebar
@ 2020-08-19 2:31 ` ahesford
2021-02-16 16:18 ` ericonr
` (2 subsequent siblings)
21 siblings, 0 replies; 23+ messages in thread
From: ahesford @ 2020-08-19 2:31 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 457 bytes --]
New comment by ahesford on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-675815405
Comment:
The issue is that the package breaks the minute upstream replaces that file with a different version. Maybe you can convince them to bundle the PDF into the release tarball for a future version, then it will be trivial to include. If you want to build the PDF from (versioned) TeX sources, we can consider doing so.
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (18 preceding siblings ...)
2020-08-19 2:31 ` ahesford
@ 2021-02-16 16:18 ` ericonr
2021-03-24 19:04 ` ericonr
2021-03-24 19:04 ` [PR PATCH] [Closed]: " ericonr
21 siblings, 0 replies; 23+ messages in thread
From: ericonr @ 2021-02-16 16:18 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 504 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-779945995
Comment:
@xelxebar void now includes packaged texlive for all archs, so building the documentation is reasonable, since they don't provide versioned PDFs. The other option is adding a `README.voidlinux` file that links to where one can download the PDF. We don't want to depend on unversioned distfiles, since they unfortunately end up making things a lot more complicated
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (19 preceding siblings ...)
2021-02-16 16:18 ` ericonr
@ 2021-03-24 19:04 ` ericonr
2021-03-24 19:04 ` [PR PATCH] [Closed]: " ericonr
21 siblings, 0 replies; 23+ messages in thread
From: ericonr @ 2021-03-24 19:04 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 212 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/18584#issuecomment-806080852
Comment:
I will be closing this PR due to inactivity, feel free to re-open it :)
^ permalink raw reply [flat|nested] 23+ messages in thread
* Re: [PR PATCH] [Closed]: New package: metamath-0.180
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (20 preceding siblings ...)
2021-03-24 19:04 ` ericonr
@ 2021-03-24 19:04 ` ericonr
21 siblings, 0 replies; 23+ messages in thread
From: ericonr @ 2021-03-24 19:04 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 161 bytes --]
There's a closed pull request on the void-packages repository
New package: metamath-0.180
https://github.com/void-linux/void-packages/pull/18584
Description:
^ permalink raw reply [flat|nested] 23+ messages in thread
end of thread, other threads:[~2021-03-24 19:04 UTC | newest]
Thread overview: 23+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-27 15:20 [PR PATCH] New package: metamath-0.178 voidlinux-github
2020-01-27 15:26 ` voidlinux-github
2020-01-31 1:14 ` [PR PATCH] [Updated] " voidlinux-github
2020-01-31 1:17 ` New package: metamath-0.180 voidlinux-github
2020-02-01 3:25 ` voidlinux-github
2020-02-02 15:37 ` [PR PATCH] [Updated] " voidlinux-github
2020-02-04 13:08 ` voidlinux-github
2020-02-05 2:16 ` voidlinux-github
2020-04-23 7:16 ` [PR PATCH] [Updated] " xelxebar
2020-07-07 2:35 ` xelxebar
2020-07-07 2:58 ` [PR PATCH] [Updated] " xelxebar
2020-07-07 2:59 ` xelxebar
2020-07-07 3:03 ` xelxebar
2020-07-07 3:03 ` xelxebar
2020-07-07 4:17 ` ericonr
2020-07-07 4:44 ` [PR PATCH] [Updated] " xelxebar
2020-07-07 4:48 ` xelxebar
2020-08-18 19:17 ` ahesford
2020-08-19 0:21 ` xelxebar
2020-08-19 2:31 ` ahesford
2021-02-16 16:18 ` ericonr
2021-03-24 19:04 ` ericonr
2021-03-24 19:04 ` [PR PATCH] [Closed]: " ericonr
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).