Merge pull request #3430 from proux01/nix-backport

released/packages/coq-coqeal/coq-coqeal.2.1.0/opam

released/packages/coq-deriving/coq-deriving.0.2.1/opam

released/packages/coq-extructures/coq-extructures.0.4.0/opam

released/packages/coq-extructures/coq-extructures.0.5.0/opam

...oq-graph-theory-planar/coq-graph-theory-planar.0.9.6/opam

...sed/packages/coq-graph-theory/coq-graph-theory.0.9.6/opam

...athcomp-multinomials/coq-mathcomp-multinomials.2.4.0/opam

.../coq-mathcomp-odd-order/coq-mathcomp-odd-order.2.2.0/opam

...-mathcomp-real-closed/coq-mathcomp-real-closed.2.0.3/opam

...ckages/coq-mathcomp-tarjan/coq-mathcomp-tarjan.1.0.2/opam

...ckages/coq-mathcomp-tarjan/coq-mathcomp-tarjan.1.0.3/opam

released/packages/coq-reglang/coq-reglang.1.2.2/opam