Julien Puydt (May 20 2022 at 07:14): 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 ?
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...
Pierre Roux (May 20 2022 at 07:15):WDYM https://github.com/ejgallego/coq-serapi/releases
Julien Puydt (May 20 2022 at 07:17):Hmmm... and now I wonder why I don't see it with the automatic checker :-/
Julien Puydt (May 20 2022 at 07:21):Found out! I can now package this version for Debian...
Julien Puydt (May 20 2022 at 07:21):@Pierre Roux: thanks!
Notification Bot (May 20 2022 at 07:21):Julien Puydt has marked this topic as resolved.
Pierre Roux (May 20 2022 at 07:36):For the record, I found this looking at opam show --raw coq-serapi
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
Emilio Jesús Gallego Arias (May 20 2022 at 11:30):yes it is supported in 8.15
Last updated: Apr 18 2024 at 21:01 UTC