https://bugzilla.redhat.com/show_bug.cgi?id=2277910
--- Comment #6 from Jens Petersen <petersen(a)redhat.com> ---
(In reply to Fabio Valentini from comment #4)
Sorry, I'm slightly confused why you think stripping the binaries
manually
is necessary?
This will break debuginfo generation built-in to RPM (and indeed you defined
%debug_package to %nil to fix that).
Well no debuginfo seems generated, but that might be fixable perhaps.
Note that lean4 is written in lean4, so I am not sure that it is fixable.
Though the bootstrap is via C++. That's my rough understanding anyway.
--
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=rep...