Stream: Coq Platform devs & users

Topic: ✔ coq-serapi in the coq platform


view this post on Zulip Julien Puydt (May 20 2022 at 07:14):

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 ?

view this post on Zulip Julien Puydt (May 20 2022 at 07:15):

Sorry, there is a PR available, but I was wondering if it was a good idea to use that to make a Debian package...

view this post on Zulip Pierre Roux (May 20 2022 at 07:15):

WDYM https://github.com/ejgallego/coq-serapi/releases

view this post on Zulip Julien Puydt (May 20 2022 at 07:17):

Hmmm... and now I wonder why I don't see it with the automatic checker :-/

view this post on Zulip Julien Puydt (May 20 2022 at 07:21):

Found out! I can now package this version for Debian...

view this post on Zulip Julien Puydt (May 20 2022 at 07:21):

@Pierre Roux: thanks!

view this post on Zulip Notification Bot (May 20 2022 at 07:21):

Julien Puydt has marked this topic as resolved.

view this post on Zulip Pierre Roux (May 20 2022 at 07:36):

For the record, I found this looking at opam show --raw coq-serapi

view this post on Zulip Emilio Jesús Gallego Arias (May 20 2022 at 11:30):

This is my fault, didn't get any time to hack on serapi lately

view this post on Zulip Emilio Jesús Gallego Arias (May 20 2022 at 11:30):

yes it is supported in 8.15


Last updated: Jun 03 2023 at 05:01 UTC