Hi, Il 23/10/19 09:24, 'B. Wilson' via Metamath ha scritto: > 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].
Having the idea of eventually packaging Metamath for my distribution as well (Debian[1]), I second the proposal of having a clearer map version -> source code. In particular, I would suggest to use git tags the indicate versions in the metamath-exe repository. GitHub will automatically create "releases" (together with zipballs and tarballs) once tags are pushed to the repository. [1] Which indirectly means all the derivatives too, including Ubuntu. For clarity, this is not a hard policy for packaging for Debian. However, if there is a way to automatically list the available upstream releases (like for example a populated "releases" page), there are clever Debian scripts that automatically notify developers of the availability of new releases. Hopefully making metamath available on distributions will help people discovering and using it. Thanks, Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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/94db4516-6e10-ab2c-445e-97e32a28f07f%40gmail.com.
signature.asc
Description: OpenPGP digital signature
