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