search

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
123 stars 16 forks source link

Use `dune-build-info` for version display #397

Closed n-osborne closed 4 months ago

n-osborne commented 4 months ago

I believe this is the last PR before Gospel.0.3.0

n-osborne commented 4 months ago

CI is green and this is trivial changes that only affects how the --version option works. Merging.