gpo.zugaina.org

Search Portage & Overlays:

dev-ml/dscheck

Experimental model checker for testing concurrent algorithms

Screenshots

  • dscheck-9999
    +ocamlopt test

    View      Download      Browse     License: ISC   
    Overlay: nest
  • dscheck-0.5.0
    ~amd64 ~x86
    +ocamlopt test

    View      Download      Browse     License: ISC   
    Overlay: nest

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.