github.com/coq/opam-coq-archive
Definitional (canonical) extensible records in Coq with string keys and arbitrary (non-dependent) types
opam install coq-extensible-records.1.2.0