github.com/coq/opam-coq-archive
'label' is a Coq plugin for referring to Propositional hypotheses by their type
opam install coq-label.1.0.0