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

/usr/bin/ott
/usr/lib/.build-id/9c/05967e55d15d22f17bcbbf59ffcd734e0317ed
/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