https://bugzilla.redhat.com/show_bug.cgi?id=2277910 --- Comment #37 from Jens Petersen <petersen@xxxxxxxxxx> --- Well if lean4 lands in Fedora Linux - my intention would be to update it monthly to the latest release. Perhaps Fedora Rawhide (development) could even track the rc's. We also have arch's in Fedora not supported upstream. Though I have also been toying with the thought to have versioned builds (eg lean4.13) in my Copr repo. [1] Though my impression is projects/packages are encouraged or hoped to keep up with releases as best they can? Im theory we could also have versioned lean4 packages in Fedora too. I feel for small projects and learning just having the current stable version available in Fedora is still useful for some people. > I assume this review request was not submitted with the intention of building other packages either. Well that is the long-term intention yes, though currently nothing particular in mind yet, but I would like to eventually. I think of lean4 also as a potential possible modern replacement for Haskell: it's a beautiful language. Though my impression is the current lean4 (lake) library package story may not be well suited to binary packages? In Fedora Rust, packages are now only shipped as source crates - perhaps a similar model might work for lean4. I am not sure if packaging mathlib in Fedora makes sense currently or in the future - in theory the stable version tags could be built I suppose. I may try to experiment with library packaging some time in the future. I agree it would be good to have elan packaged in Fedora too, though I am not really a Rust packager. I have a quick and dirty package in copr too [2] and I am using it personally with my lean4 rpm package (using "elan toolchain link"). [1] https://copr.fedorainfracloud.org/coprs/petersen/lean4/ [2] https://copr.fedorainfracloud.org/coprs/petersen/elan/ Anyway I don't seem to be making myself too popular, upstream ;o( -- 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%23c37 -- _______________________________________________ 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
