Stream: SerAPI

Topic: installation


view this post on Zulip 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?)

view this post on Zulip 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: Feb 06 2023 at 07:03 UTC