* Re: New package: metamath-0.179
[not found] <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-17223@inbox.vuxu.org>
@ 2021-02-16 16:16 ` ericonr
2021-02-16 16:16 ` [PR PATCH] [Closed]: " ericonr
1 sibling, 0 replies; 2+ 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] 2+ 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>
2021-02-16 16:16 ` New package: metamath-0.179 ericonr
@ 2021-02-16 16:16 ` ericonr
1 sibling, 0 replies; 2+ 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] 2+ messages in thread
end of thread, other threads:[~2021-02-16 16:16 UTC | newest]
Thread overview: 2+ 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>
2021-02-16 16:16 ` New package: metamath-0.179 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).