This repository has been archived by the owner on Jun 17, 2024. It is now read-only.
Restore quicMinusNet using everquic-crypto #255
Assignees
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
This issue is a follow-up to #254 .
Currently, since merging that PR and hacl-star/hacl-star#584, Everest upgrades have been breaking, since quic_provider was removed from HACL*. quic_provider should be replaced with https://github.com/project-everest/everquic-crypto (which I just added as part of Everest), so quicMinusNet should be updated accordingly.
The text was updated successfully, but these errors were encountered: