Installlion's Logo

Installlion.com

Install or Uninstall libalt-ergo-ocaml-dev on jessie

libalt-ergo-ocaml-dev Theorem prover dedicated to program verification - libraries Debian 8.0 ocaml

Package Data

Packagelibalt-ergo-ocaml-dev
Version0.95.2-3
MaintainerDebian OCaml Maintainers
DescriptionTheorem prover dedicated to program verification - libraries
Distrodebian
Releasejessie
Repomain
Sectionocaml