Update released/packages/coq-lens/coq-lens.1.0.0/opam
Update released/packages/coq-lens/coq-lens.1.0.0/opam

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