Oloop is a library that lets you interact with toploops.
The files oloop.install and those under the directory opam are
generated from _oasis using oasis2opam. They are present under
version control in order to enable opam pin on the Git repository.
You should not modify those files directly.