https://bugzilla.redhat.com/show_bug.cgi?id=2005536
Fabio Valentini <decathorpe(a)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(a)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 ***
--
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=2005536
Report this comment as SPAM:
https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=rep...