> So either forking `mlkem` or a major version bump seem to be the > sensible choices. I hope Olivier can be convinced to go the version > bump route.
I can access codeberg.org today: - https://codeberg.org/ocheron/hs-mlkem/issues/4 - https://codeberg.org/ocheron/hs-mlkem/issues/5 I should resolve an issue of "crypton" from Oliver in #4. Also, we are trying to remove "basement" and "memory" from our libraries including "mlkem" (in #5). For more information, please read: - https://github.com/kazu-yamamoto/crypton/pull/67 --Kazu _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
