Merge pull request #2726 from palmskog/elpi-8.18-released

move coq-elpi.1.19.0 to released
coq · Sep 13, 2023 · e403099 · e403099
2 parents b240ebd + b495240
commit e403099
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...ev/packages/coq-elpi/coq-elpi.1.19.0/opam → ...ed/packages/coq-elpi/coq-elpi.1.19.0/opam b/...ev/packages/coq-elpi/coq-elpi.1.19.0/opam → ...ed/packages/coq-elpi/coq-elpi.1.19.0/opam