Stream: SerAPI

Topic: 8.14+rc1 tag?


view this post on Zulip Enrico Tassi (Oct 03 2021 at 12:30):

Can we have it? serapi is a dependency of alectryon and now that I switched to 8.14 I can't build coq-elpi tutorials anymore.

view this post on Zulip Karl Palmskog (Oct 03 2021 at 12:56):

@Enrico Tassi see here: https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-serapi/coq-serapi.8.14%2Brc1%2B0.14.0/opam

view this post on Zulip Karl Palmskog (Oct 03 2021 at 12:57):

this is the version currently in the 8.14 Docker Coq image.

view this post on Zulip Enrico Tassi (Oct 04 2021 at 07:17):

Thanks, I did not see it. Where was I looking?!


Last updated: Feb 06 2023 at 07:03 UTC