https://bugzilla.redhat.com/show_bug.cgi?id=2277910 --- Comment #35 from Benson Muite <benson_muite@xxxxxxxxxxxxx> --- To distribute any software that builds using Lean in Fedora, the Lean toolchain needs to be packaged. It is possible to automate the updates using Packit, see https://packit.dev/ - which may also be helpful in checking that updates to Lean build on Fedora. It is understandable that there will be breaking changes. Certainly elan can also be packaged for people to build Lean applications on their own machines. Is the expectation that software programmed in Lean will only be used by software developers, or will there be expectations that non-programmers may find it useful to have verifiable programs? -- You are receiving this mail because: You are always notified about changes to this product and component You are on the CC list for the bug. 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%23c35 -- _______________________________________________ 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
