ott
===
/usr/lib/.build-id
/usr/lib/.build-id/11
/usr/lib64/ocaml/coq-ott
/usr/lib64/ocaml/ott
/usr/share/doc/ott

/usr/bin/ott
/usr/lib/.build-id/11/302067f55e38db96df72df70c8646465955d0b
/usr/lib64/ocaml/coq-ott/META
/usr/lib64/ocaml/ott/META
/usr/share/doc/ott/README.md

ott-devel
=========

/usr/lib64/ocaml/coq-ott/dune-package
/usr/lib64/ocaml/coq-ott/opam
/usr/lib64/ocaml/ott/dune-package
/usr/lib64/ocaml/ott/opam