opam package

[vzaliva]

It would be great to be able to install this package via OPAM.

[vzaliva]

I will be glad to build, test and submit opam packaging. All I need for this is for you to create a release vit github. That would give me a version number and download URL required to build the package.

[jeremie-koenig]

I've created https://github.com/CertiKOS/coqrel/releases/tag/v0.1, please feel free to package.