github.com/coq/opam-coq-archive
Example systems for Disel, a separation-style logic for compositional verification of distributed systems in Coq
opam install coq-disel-examples.2.2