[new release] coq-serapi (8.13.0+0.13.1)

[ejgallego]

Serialization library and protocol for machine interaction with the Coq proof assistant

• Project page: https://github.com/ejgallego/coq-serapi
• Documentation: https://ejgallego.github.io/coq-serapi/

CHANGES:

• [serapi] New query (Query () (LogicalPath file)) which will
  return the logical path for a particular .v file
  (@ejgallego, see also
  Use module names rather than file names for output cpitclaudel/alectryon#25)
• [serapi] new (SaveDoc opts) command supporting saving of .vo
  files even when from interactive mode; note that using
  --topfile is required (fixes [feature request] Ability to save .vo file from interactive session rocq-archive/coq-serapi#238, @ejgallego, reported
  by Jason Gross)
• [sertop] we don't link the OCaml num library anymore, this could
  have some impact on plugins (@ejgallego)
• [nix] Added Nix support ([fix] Interpret paths in COQPATH as absolute. rocq-archive/coq-serapi#249, fixes [doc] Add Nix instructions. rocq-archive/coq-serapi#248, @Zimmi48, reported
  by @nyraghu)
• [serapi] Fix COQPATH support: interpret paths as absolute ([fix] Interpret paths in COQPATH as absolute. rocq-archive/coq-serapi#249, @Zimmi48)
• [serlib] Ignore env parameter in certain exceptions ([serlib] Ignore env parameter in certain exceptions rocq-archive/coq-serapi#254, fixes Simple query prints raw Pretype_errors.Pretype error, produces 18MB of output rocq-archive/coq-serapi#250,
  @ejgallego, reported by @cpitclaudel)
• [sertop] New option --omit_env that will disable the serialization of
  Coq's super heavy global environments ([serlib] Ignore env parameter in certain exceptions rocq-archive/coq-serapi#254 @ejgallego)
• [build] Test OCaml 4.12 ([serlib] Explore ppx_override ejgallego/coq-lsp#759 @ejgallego)
• [sertop] Async mode was not working due to passing -no-glob to workers

[kit-ty-kate]

Thanks