https://bugzilla.redhat.com/show_bug.cgi?id=1594765
--- Comment #4 from Jens Petersen petersen@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.