It looks like the coq platform has a coq-serapi 8.15.0+0.15.0, while as far as I know, upstream doesn't support 8.15.x -- is there a patch available ?
Sorry, there is a PR available, but I was wondering if it was a good idea to use that to make a Debian package...
Hmmm... and now I wonder why I don't see it with the automatic checker :-/
Found out! I can now package this version for Debian...
@Pierre Roux: thanks!
Julien Puydt has marked this topic as resolved.
For the record, I found this looking at
opam show --raw coq-serapi
This is my fault, didn't get any time to hack on serapi lately
yes it is supported in 8.15
Last updated: Jan 30 2023 at 11:03 UTC