ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
38 stars 10 forks source link

Clean up opam and dune files #126

Closed n-osborne closed 1 year ago

n-osborne commented 1 year ago

This is an attempt to make the experimental opam-dune-lint CI feature happy.