Merge pull request #128 from hoheinzollern/rocq_build

Rocq build

Merge pull request #124 from math-comp/finmap-mathcomp-240

Update opam dependencies

Merge pull request #111 from proux01/coq819

[CI] Add Coq 8.19

Merge pull request #84 from affeldt-aist/hierarchy-builder

tentative port of `finmap.v` to HB

Merge pull request #99 from affeldt-aist/upd_ci_20220705

add mathcomp 1.16 to CI

Merge pull request #79 from math-comp/prep_release_1.5.1

Preparing next release

Merge pull request #67 from affeldt-aist/update_wrt_mathcomp_1.11

Update w.r.t. MathComp 1.11.0+beta1

compatibility with mathcomp-dev and lost with mathcomp < 1.9.0 (#64)

- compatibility with mathcomp-dev and lost with mathcomp < 1.9.0
+ updating opam dependencies
+ adding travis jobs

Merge pull request #63 from pi8027/fix-notations

Add `Reserved Notation`s in finmap.v

Anticipate this will work for mathcomp 1.10