Update released/packages/coq-pi-agm/coq-pi-agm.1.2.5/opam
Update released/packages/coq-pi-agm/coq-pi-agm.1.2.5/opam

Co-authored-by: Guillaume Claret <34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me>
coq/opam-coq-archive,gmalecha/opam-coq-archive,gmalecha/opam-coq-archive,gmalecha/opam-coq-archive