This is part of a larger discussion happening at [1]. It appears that the metamath-program.zip URL[0] points to a non-static archive. Sadly, this is preventing me from packaging metamath for my Linux distribution.
Just for the sake of clarity, below are the SHA-256 sums of the archive retrieved on the corresponding dates: - 2020 Jan 28 75fe8e83c4fde2104e24e38da8480b512df3dff40d46e5d40e038bd7a73557de - 2020 Feb 01 084bb35600823c8c6db4375203d239c5d05df4488ce035fd05da8918dea70261 Unfortunately, the newer archive overwrote the old on my machine, so I cannot compare contents. From a cursory inspection, however, it looks how I remember. My suspicion is that, perhaps as part of a larger automated process, the zip metadata is getting refreshed. Is there a way we could offer static, versioned, archives of the standalone executable source? One common option for this would be to let GitHub host them as "releases" for the metamath/metamath-exe repository. Though I have not tried myself, the creation process looks quite easy: https://help.github.com/en/github/administering-a-repository/creating-releases Does it seem reasonable to make this happen, some way or another? [0]:http://us2.metamath.org/downloads/metamath-program.zip [1]:https://groups.google.com/forum/#!msg/metamath/z2kKJYgnz-g/Z4mVlHVkAwAJ -- 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/29AZ03J1BSEJE.39OOY0FW54QA0%40wilsonb.com.
