Thank you. That definitely ticks all the boxes. I will get this packaged up and share the result once it is published.
Norman Megill <[email protected]> wrote: > On Friday, December 13, 2019 at 3:30:53 AM UTC-5, heiphohmia wilsonb.com > wrote: > > > > Thank you for the response. > > > > > Would it work for you to download the source? > > > > Unfortunately, no. Void Linux has a policy of only packing "stable" > > releases, > > which in practice means no builds off repository branches and the like. > > Upstream *might* accept a package off a git tag, but it looks like the > > metamath-exe repository doesn't have those either. > > > > The metamath program source without databases is available at > http://us.metamath.org/downloads/metamath-program.zip (0.7MB). It is not > yet documented because it was originally intended for the GitHub Travis > runs, but I will make it "official" and add it to the downloads section on > the home page. > > It is relatively stable in that it changes only when I release a new > numbered version of the metamath program (currently 0.180). A history at > the top of metamath.c shows how often releases have been made. The zip > file also includes configure.ac, Makefile.am, metamath.1 (man page), and a > Windows executable metamath.exe. > > Norm > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/497b5669-8f7f-4dba-9889-a06dd9548da2%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/5df781d2.U/t03L1fmx2Oqnk%2B%25heiphohmia%40wilsonb.com.
sig.asc
Description: application/pgp-encrypted
