Hello, I am trying to figure out the best way to package Metamath for my Linux distribution.
The main issue is that the metamath.tar.bz URL [0] seems to be getting ninja updated. This conflicts with the desire to have a one-to-one map between version numbers and sources. I assume the tar is reflecting set.mm updates while the metamath executable source remains static at version 0.178. In particular, I am packaging for Void Linux [2] which does not package directly from git branches. It requires stable versions as a policy. What would be the best way to go about packaging up metamath in this scenario? One idea that comes to mind is to offer only the executable, requiring users to manually install their desired proof databases. However, it seems that the metamath executable isn't being packaged up on its own [1]. If I am just missing something obvious, or if anyone has better ideas, I would appreciate some pointers. Cheers, B. Wilson [0]:http://us.metamath.org/downloads/metamath.tar.bz2 [1]:https://github.com/metamath/metamath-exe/releases [2]:https://voidlinux.org/ -- 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/20191023072423.GA22005%40lang.
signature.asc
Description: PGP signature
