FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Bump dune version dependency. #3503

Closed gebner closed 1 month ago

gebner commented 1 month ago

Commit 7e20a5cab6e5451e178c486dcd0a80db39c35b22 requires dune >= 3.8.0 to build, this adds the dependency to the opam file.