github.com/coq/opam-coq-archive
Extra Mathematical Components Library on Fields
opam install coq-mathcomp-field-extra.1.6.1