Coq-Elpi 1.19.3 for Coq 8.18

What's Changed

• enable λProlog builtins by @phikal in #506
• fix typo by @phikal in #507
• tactic argument for ltac value by @gares in #508
• tutorial: mention @ltacfail! by @gares in #509
• test ocaml 5 by @gares in #510
• example: abstract holes by @gares in #514
• fix location for Elpi Accumulate lp:{{ ... }}. by @gares in #517
• fix separation parsing/execution by @gares in #518

New Contributors

• @phikal made their first contribution in #506

Full Changelog: v1.19.0...v1.19.3