Update extra-dev/packages/coq-elpi/coq-elpi.dev/opam
Update extra-dev/packages/coq-elpi/coq-elpi.dev/opam

Co-authored-by: Karl Palmskog <d491a401c71ddbdeba3573adcabb152287caf226@gmail.com>
gmalecha/opam-coq-archive,coq/opam-coq-archive,gmalecha/opam-coq-archive,gmalecha/opam-coq-archive