https://bugzilla.redhat.com/show_bug.cgi?id=2005536
Fabio Valentini decathorpe@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution|--- |DUPLICATE Last Closed| |2023-06-07 17:12:03
--- Comment #9 from Fabio Valentini decathorpe@gmail.com --- I've submitted a new package for the latest version of the fiat-crypto crate where I've tried to implement this approach. Closing this bug as a duplicate since it has not been updated in the last 6 months.
*** This bug has been marked as a duplicate of bug 2213270 ***