https://bugzilla.redhat.com/show_bug.cgi?id=2277910 Sebastian Ullrich <sebastian@xxxxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sebastian@xxxxxxxxxxxx --- Comment #34 from Sebastian Ullrich <sebastian@xxxxxxxxxxxx> --- 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 -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/package-review@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
