Enrico Tassi (Oct 03 2021 at 12:30): 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.
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
Karl Palmskog (Oct 03 2021 at 12:57):this is the version currently in the 8.14 Docker Coq image.
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