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

/usr/bin/ott
/usr/lib/.build-id/79/ec85ff8c769f4b2e8e1d765ed9553cfbd1ef2c
/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