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.
@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
this is the version currently in the
8.14 Docker Coq image.
Thanks, I did not see it. Where was I looking?!
Last updated: Feb 06 2023 at 07:03 UTC