Ok, I dived again in my tentative Debian package for coq-serapi ; what I'm lacking before I can upload it is:
That particular topic is closed, since now everything builds fine.
Julien Puydt has marked this topic as resolved.
I will fix the licensing ASAP, sorry for that problem
Last updated: Feb 06 2023 at 05:03 UTC