This repository contains opam package metadata.
To activate the repository and enable installing its packages:
opam repo add rse-verification https://rse-verification.github.io/opamAll the metadata contained in this repository are licensed under the CC0 1.0 Universal license.
Moreover, as the collection of the metadata in this repository is technically a "Database" -- which is subject to a "sui generis" right in Europe -- we would like to stress that even the collection of the metadata contained in opam-repository is licensed under CC0 and thus the simple act of cloning opam-repository is perfectly legal.