On January 31, 2020 10:58:29 PM EST, heiphohmia via Metamath <[email protected]> wrote: >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.
Just to clarify, you are not looking for a statically linked file, you are looking for a versioned file that once released never changes. Correct? So you would like to see a filename like metamath-program-1.2.3.zip that once released never changes. Is there a particular file naming format you would prefer? It is up to Norm if he wants to support that, though I think that is a good idea. --- David A.Wheeler -- 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/F8603310-5C42-4768-B72D-4005A3687502%40dwheeler.com.
