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

Last updated: Feb 06 2023 at 07:03 UTC