search

ocaml-gospel / ortac

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

Update OPAM packages #159

Closed shym closed 10 months ago

shym commented 11 months ago

The OPAM packages must be updated for the release. In particular, it would be nice for them to have some descriptions.