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

Co-Authored-By: Karl Palmskog <d491a401c71ddbdeba3573adcabb152287caf226@gmail.com>
mattam82/coq-opam-archive,coq/opam-coq-archive,gmalecha/opam-coq-archive,gmalecha/opam-coq-archive,mattam82/coq-opam-archive,mattam82/coq-opam-archive,gmalecha/opam-coq-archive