Rocq-Elpi 2.5.0 for Coq 8.20 and Rocq 9.0

What's Changed

• Adapt w.r.t. coq/coq#20060. by @ppedrot in #740
• Adapt to coq/coq#20012 (univgen API change) by @SkySkimmer in #739
• [CI] Update Nix toolbox by @proux01 in #741
• [CI] Use new nicer override mechanism for ocamlPackages.elpi by @proux01 in #743
• document caveat in call-ltac1 by @gares in #745
• Adapt to coq/coq#20095 (record.ml API changes) by @SkySkimmer in #749
• [CI] Remove currently unused file by @proux01 in #751
• Fix #748 (coq.typecheck-indt-decl failing) by @proux01 in #750
• fix(ci.yml): Use coqorg/coq:8.20 as a future-proof image name by @erikmd in #752
• Created rewrite tactic by @patrick-nicodemus in #746
• apply tactic, similar to rewrite by @patrick-nicodemus in #747
• [derive] Add some missing universe constraints by @proux01 in #754
• fix docker ci master by @gares in #753
• [derive.param1] Add some missing universe constraints by @proux01 in #759
• [CI] Add Coq 9.0+rc1 by @proux01 in #757
• Add nicer names in derive.param2 by @proux01 in #761
• Update README.md by @gares in #764
• Add derive.param2.register by @proux01 in #758
• [CI] Readd coqeal by @proux01 in #765
• fix docker ci by @gares in #769
• Adapt to coq/coq#20178 (cominductive API change) by @SkySkimmer in #766
• Fix #766 by @proux01 in #770
• Remove Stdlib dependency by @proux01 in #767
• opam by @gares in #732
• Update coq-elpi.opam by @gares in #772
• Adapt w.r.t. coq/coq#20201. by @ppedrot in #768
• derive: put eqb ast into a namespace by @gares in #731
• Enable compilation without the coq shim on Rocq 9.0 by @proux01 in #771
• fix _CoqProject by @gares in #773
• derive: ability to register an axiom by @gares in #734
• close changelog by @gares in #774

New Contributors

• @erikmd made their first contribution in #752
• @patrick-nicodemus made their first contribution in #746

Full Changelog: v2.4.0...v2.5.0