Il 28/12/19 13:44, heiphohmia via Metamath ha scritto: > I would also like to add that a distribution's packages also simply make > software more discoverable. There are times that the search function is my > initial foray into finding out about what software is available in a given > domain. For example, it would be nice if metamath showed up as a result when > searching for proof-related tooling.
Yes, I wanted to write this in my reply, but then I forgot. Thanks for bringing it up. BTW, speaking of discoverability, here[1] is the package description that I wrote for Debian. If anybody has improvements to suggest, please let me know. The description text will appear in package managers and on packages.debian.org when users browse the metamath package (this[2] is what the Debian policy has to say on the description text). [1] https://ftp-master.debian.org/new/metamath_0.180-1.html#binary-metamath-control [2] https://www.debian.org/doc/debian-policy/ch-binary.html#the-description-of-a-package Any other suggestion on the packaging work, especially by those actually using it within Debian or any derivative, is welcome as well. 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/46004f39-3606-3798-f5e2-f428c2e94635%40gmail.com.
signature.asc
Description: OpenPGP digital signature
