gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/why3

Platform for deductive program verification

Screenshots

  • why3-1.5.0
    ~amd64
    coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip +ocamlopt

    View      Download      Browse     License: LGPL-2   
    Overlay: gentoo
  • why3-1.4.1
    ~amd64
    coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt

    View      Download      Browse     License: LGPL-2   
    Overlay: gentoo
  • why3-1.4.0-r2
    ~amd64
    coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt

    View      Download      Browse     License: LGPL-2   
    Overlay: gentoo

Runtime Dependencies

why3-1.5.0

!sci-mathematics/why3-for-spark

>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=

coq?
      ( >=sci-mathematics/coq-8.7 )

emacs?
      ( app-editors/emacs:* )

gtk?
      ( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )

re?
      ( dev-ml/re:= dev-ml/seq:= )

sexp?
      ( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )

stackify?
      ( dev-ml/ocamlgraph:=[ocamlopt?
] )

zarith?
      ( dev-ml/zarith:= )

zip?
      ( dev-ml/camlzip:= )


dev-lang/ocaml:=[ocamlopt?
]

why3-1.4.1

!sci-mathematics/why3-for-spark

>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=

coq?
      ( >=sci-mathematics/coq-8.6 )

emacs?
      ( app-editors/emacs:* )

gtk?
      ( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )

re?
      ( dev-ml/re:= dev-ml/seq:= )

sexp?
      ( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )

zarith?
      ( dev-ml/zarith:= )

zip?
      ( dev-ml/camlzip:= )


dev-lang/ocaml:=[ocamlopt?
]

why3-1.4.0-r2

!sci-mathematics/why3-for-spark

>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=

coq?
      ( >=sci-mathematics/coq-8.6 )

emacs?
      ( app-editors/emacs:* )

gtk?
      ( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )

re?
      ( dev-ml/re:= dev-ml/seq:= )

sexp?
      ( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )

zarith?
      ( dev-ml/zarith:= )

zip?
      ( dev-ml/camlzip:= )


dev-lang/ocaml:=[ocamlopt?
]