https://bugzilla.redhat.com/show_bug.cgi?id=2277910
--- Comment #8 from Jens Petersen <petersen(a)redhat.com> ---
I forgot to mention my copr repo:
https://copr.fedorainfracloud.org/coprs/petersen/lean4/
though it doesn't have -2 yet
--
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=rep...