After a "dnf --enablerepo=updates-testing update frama-c", it now works again.
I have been able to compile testdisk using mingw via mock for fedora 30 successfully.
The compiled version run correctly via wine on fedora 29.
With this package and heimdal-libs-7.5.0-3.fc28.x86_64, ICAClient-18.104.22.168-0.x86_64 works.
Seems to work as well as old pypolicyd-spf-1.3.2-1.el7
This update has been unpushed
Fix the same problem than Kevin
Copyright © 2007-2019 Red Hat, Inc. and
bodhi is Free Software.
if you have any problems. Read the documentation.