github.com/coq/opam-coq-archive
A tool to compare universe levels in Coq
opam install coq-universe-comparator.1.1.0