Update released/packages/coq-monae/coq-monae.0.4.2/opam
Update released/packages/coq-monae/coq-monae.0.4.2/opam

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