Hello, this morning I made a Debian package for metamath and uploaded it to Debian. The package is currently in the so-called NEW queue, where from it will have to be manually approved before actually entering Debian (this is a standard procedure for all new Debian packages).
Once approved, it will be available first in the development versions of Debian (called "unstable" and "testing") and, unless a grave bug is found that cannot be fixed (and I trust this won't happen), will be released with the upcoming Debian bullseye. It won't be fast, Debian release cycles are notoriously veeeery long (order of one or two years). That means that users of Debian bullseye will be able to have metamath ready for use just using the command "apt install metamath". In due time (actually, probably earlier than in Debian) the same package will also land in Ubuntu, as most Ubuntu packages are just inherited from Debian. For the moment I just packaged the program, but I am going to build another package with the most prominent databases, including of course set.mm. There is a kind request that I would like to make to Norman or to anybody who manages the metamath-exe repository: could you please make tags for Metamath releases? This makes it possible for Debian tools to automatically detect when a new release is available and trigger a light on my dashboard. This is as simple as using these commands each time you want to publish a new release: git commit -m'Release version 0.1234.' git tag v0.1234 git push git push --tags The tags will be published on GitHub[1] and will be available for automatically knowing which versions are available and how to get a specific version. [1] https://github.com/metamath/metamath-exe/releases 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/6735baf0-c111-9355-b68b-00d51f7c8ea6%40gmail.com.
signature.asc
Description: OpenPGP digital signature
