Skip to content
This repository was archived by the owner on Apr 24, 2025. It is now read-only.

Conversation

@beurdouche
Copy link

No description provided.

@franziskuskiefer
Copy link
Owner

Happy to merge this, but @beurdouche please ping me on mail/slack/whatever to let me know your plans. Maintenance of this version isn't clear with hacl-packages and libcrux having super-seeded this one.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants