* Re: New package: metamath-0.179
[not found] <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-17223@inbox.vuxu.org>
2020-01-27 15:25 ` New package: metamath-0.179 voidlinux-github
@ 2021-02-16 16:16 ` ericonr
2021-02-16 16:16 ` [PR PATCH] [Closed]: " ericonr
2 siblings, 0 replies; 3+ messages in thread
From: ericonr @ 2021-02-16 16:16 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 226 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/17223#issuecomment-779944333
Comment:
Closing in favor of #18584, since we don't want to depend on unversioned distfiles...
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PR PATCH] [Closed]: New package: metamath-0.179
[not found] <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-17223@inbox.vuxu.org>
2020-01-27 15:25 ` New package: metamath-0.179 voidlinux-github
2021-02-16 16:16 ` ericonr
@ 2021-02-16 16:16 ` ericonr
2 siblings, 0 replies; 3+ messages in thread
From: ericonr @ 2021-02-16 16:16 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 262 bytes --]
There's a closed pull request on the void-packages repository
New package: metamath-0.179
https://github.com/void-linux/void-packages/pull/17223
Description:
Makefile.am is edited as per https://github.com/metamath/metamath-exe/issues/3#issuecomment-536509055
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: New package: metamath-0.179
[not found] <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-17223@inbox.vuxu.org>
@ 2020-01-27 15:25 ` voidlinux-github
2021-02-16 16:16 ` ericonr
2021-02-16 16:16 ` [PR PATCH] [Closed]: " ericonr
2 siblings, 0 replies; 3+ messages in thread
From: voidlinux-github @ 2020-01-27 15:25 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 415 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/17223#issuecomment-578801012
Comment:
It seems like upstream has pretty much settled on what they want to provide for the time being. I went ahead and put together pull request #18584. It packages up the exetuable without the databases. I also provide a wrapper script that helps download and use the databases.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2021-02-16 16:16 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-17223@inbox.vuxu.org>
2020-01-27 15:25 ` New package: metamath-0.179 voidlinux-github
2021-02-16 16:16 ` ericonr
2021-02-16 16:16 ` [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).