github.com/coq/opam-coq-archive
Generation of lenses for record datatypes
opam install coq-lens.1.0.1+8.11