Coq-Elpi 2.3.0 for Coq 8.20

What's Changed

• [CI] Fix and test minimal elpi version by @proux01 in #680
• Adapt w.r.t. coq/coq#19481. by @ppedrot in #682
• Overlay for PR 19473 by @mattam82 in #683
• [CI] Add coqeal and Coq 8.20 by @proux01 in #685
• Update doc.yml by @gares in #687
• Fix new compiler by @gares in #692
• drop 8.19 by @gares in #670
• Always resolve files using Coq by @rlepigre in #684
• adapt to coq/coq#19358 by @gares in #668
• fix compilation on 8.20 by @gares in #697
• [TC] premise not run if rigid solution by @FissoreD in #656
• ifdefs on elpi version in source code by @gares in #693
• Update coq-elpi.opam by @gares in #698
• Update version_parser.ml by @gares in #699
• [setup.init] elpi-builtin loaded before coq-builtin by @FissoreD in #700
• Adapt to coq/coq#19620 (Global.push_context_set no strict argument) by @SkySkimmer in #696
• Small typo in documentation by @ckeller in #701
• Adapt to coq/coq#19709 (libobject requires explicit classification) by @SkySkimmer in #702
• remove unused module open by @FissoreD in #705
• [coq_elpi_builtins] change error msg accumulating non-closed clause in a db by @FissoreD in #706
• Fix typo CErrors.error -> user_err by @SkySkimmer in #707
• Fix libobject by @gares in #711
• [CI] Update Nix toolbox by @proux01 in #712
• [CI] Update Nix toolbox by @proux01 in #713
• Support export locality in coq.TC.declare-instance. by @Janno in #715
• Adapt to coq/coq#19584 (record raw ast has loc on idbuild) by @SkySkimmer in #718
• [coq.TC.get-inst-prio] new get-inst-prio (#716) by @FissoreD in #717
• port to Elpi 2.0 by @gares in #719
• example with open terms: extensional replace by @gares in #720
• Improve open by @gares in #723
• typcheck type by @gares in #724
• nix by @gares in #725

New Contributors

• @mattam82 made their first contribution in #683
• @ckeller made their first contribution in #701

Full Changelog: v2.2.3...v2.3.0