Pin major versions of every OCaml dependency

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

179 stars 20 forks source link

Pin major versions of every OCaml dependency #699

Open W95Psp opened 4 months ago

github-actions[bot] commented 1 month ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

W95Psp commented 1 month ago

Still relevant, I need to debug #705