https://bugzilla.redhat.com/show_bug.cgi?id=1594765
--- Comment #4 from Jens Petersen <petersen(a)redhat.com> ---
Spec:
http://petersen.fedorapeople.org/reviews/idris/idris.spec
SRPM:
http://petersen.fedorapeople.org/reviews/idris/idris-1.3.0-2.fc28.src.rpm
It builds on armv7hl too, without the profiling library.
--
You are receiving this mail because:
You are on the CC list for the bug.