Closed Nadrieril closed 5 days ago
Companion PR to https://github.com/hacspec/hax/pull/735. This updates the rustc pin by about 8 months.
Closes #182.
Companion PR to https://github.com/hacspec/hax/pull/735. This updates the rustc pin by about 8 months.
Closes #182.