Closed MSoegtropIMC closed 3 years ago
The ReadMe at (https://github.com/arthuraa/deriving) states that the opam file for this development lives in the extra-dev repo, but actually it is in the released repo.
extra-dev
released
See (https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-deriving/coq-deriving.0.1.0)
Thanks for noticing this. It has been fixed.
The ReadMe at (https://github.com/arthuraa/deriving) states that the opam file for this development lives in the
extra-dev
repo, but actually it is in thereleased
repo.See (https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-deriving/coq-deriving.0.1.0)