Update the opam descriptions and dunify them

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 the opam descriptions and dunify them #170

Closed shym closed 10 months ago

shym commented 10 months ago

The opam packages as generated by dune are reasonably close to hand-written ones, so use dune to generate them so that we are sure the build instructions are correct.

Closes #169

shym commented 10 months ago

I suppose the lint error in CI is due to opam-dune-lint not supporting the dune "\> syntax. The other errors seem to be cancellations. So I merge.