Hi, I'm still working on the package ; I'm mostly stuck because there are incoherent licensing issues: https://github.com/ejgallego/coq-serapi/issues/266 Cheers, J.Puydt