8.20.0+0.20.0

CHANGES:

• [serapi] (!) support for Coq 8.20, thanks to all the developers
  that contributed compatibility patches.
• [serlib] Support micromega_core plugin (@ejgallego)
• [serlib] Compat with ppx_deriving 6 (@ejgallego)
• [serlib] Move serlib sources to coq-lsp (@ejgallego, #409)
• [general] Drop support for OCaml 4.09-4.11 (@ejgallego, #409)
• [serlib] Embed serlib from coq-lsp as to help 8.20 release (@ejgallego)
• [meta] Add license info for sertop.el (@ejgallego, @SnarkBoojum, fixes #411)

8.19.0+0.19.3

CHANGES:

• [test] Don't require math-comp to run genarg tests (@ejgallego, #399 ,
  fixes #395 , thanks to @SnarkBoojum for the report)

8.19.0+0.19.2

CHANGES:

• [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 ,
  thanks to @laetitia-teo and @Nfsaavedra for the bug
  report)

8.18.0+0.18.3

CHANGES:

• [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 ,
  thanks to @laetitia-teo and @Nfsaavedra for the bug
  report)

8.17.0+0.17.3

CHANGES:

• [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 ,
  thanks to @laetitia-teo and @Nfsaavedra for the bug
  report)

8.19.0+0.19.1

CHANGES:

• [serlib] Support btauto Coq plugin (@ejgallego, #362)
• [serlib] Support extraction Coq plugin (@ejgallego, @toku-sa-n,
  #375, fixes #371)
• [general] Make licensing clearer (@ejgallego, @palmskog,
  @SnarkBoojum, #361, closes #266)

8.18.0+0.18.2

CHANGES:

• [serlib] Expose some more Ast functions required by coq-lsp's
  auto-build support (@ejgallego, #383)

8.17.0+0.17.2

CHANGES:

• [serlib] Expose some more Ast functions required by coq-lsp's
  auto-build support (@ejgallego, #383)

8.19.0+0.19.0

CHANGES:

• [serapi] (!) support for Coq 8.19, thanks to all the developers
  that contributed compatibility patches.
• [general] Cleanup old / unused code (@ejgallego, #362)

8.18.0+0.18.1

CHANGES:

• [serlib] Fix a few 8.18 piercings (!) (@ejgallego, #)