Update README after release

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

38 stars 10 forks source link

Closed shym closed 1 year ago

shym commented 1 year ago

The README suggests opam pin as the easiest way to install the Ortac packages. This should be updated after the release.