A framework for formally verifying distributed systems implementations in Coq
Release created in order to generate an OPAM package.