coq-8.11 support - Githubissues

Lysxia / coq-ceres

Coq library for serialization to S-expressions

MIT License

18 stars 1 forks source link

Closed vzaliva closed 4 years ago

vzaliva commented 4 years ago

The current OPAM package does not support Coq-8.11. Please consider supporting 8.11

Lysxia commented 4 years ago

Thanks for reporting this. I released 0.2.0 which allows 8.11.

vzaliva commented 4 years ago

thanks!