https://bugzilla.redhat.com/show_bug.cgi?id=2277910
Sebastian Ullrich <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #34 from Sebastian Ullrich <[email protected]> --- As a Lean maintainer, I need to point out that while it is of course within your right to package this software, our official stance is to heavily discourage doing so. Lean features monthly releases with no backwards-compatibility guarantees. Thus installing any fixed version of Lean is almost guaranteed to lead to misery about mismatched version expectations in downloaded projects, which we then have to debug and explain when users invariably complain. Packaging the Lean version manager https://github.com/leanprover/elan instead is a strictly more favorable option for everyone involved. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component https://bugzilla.redhat.com/show_bug.cgi?id=2277910 Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202277910%23c34 -- _______________________________________________ package-review mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
