Jason Gross (Apr 13 2021 at 18:49): Jason Gross (Apr 13 2021 at 18:49):Why does v8.13 install into lib/coq-serapi/sertop_v8_12 and lib/coq-serapi/serapi_v8_13 (why the version mismatch?)
Emilio Jesús Gallego Arias (Apr 13 2021 at 21:05):That's a poor man attempt to version the API, I just didn't bump the library declaration see here https://github.com/ejgallego/coq-serapi/blob/v8.13/sertop/dune#L3
Last updated: May 31 2023 at 04:01 UTC