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