Rename the opam file, and update dependencies and CI

arthuraa / deriving

Class instances for Coq inductive types with little boilerplate

MIT License

24 stars 9 forks source link

Closed pi8027 closed 5 months ago

pi8027 commented 6 months ago

The opam file is renamed to coq-deriving.opam (the same as the opam archive for Coq).
coq-deriving is compatible with Coq 8.19.

pi8027 commented 5 months ago

ping @arthuraa

pi8027 commented 5 months ago

Thanks!