Ubuntu

libwhy3-ocaml-dev 0.87.1-1 (i386 binary) in ubuntu yakkety

This package contains the libraries of the why3 verification platform
for developing applications using why3.

Details

Package version:: 0.87.1-1

Source:: why3 0.87.1-1 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

i386 build of why3 0.87.1-1 in ubuntu yakkety PROPOSED produced these files:

libwhy3-ocaml-dev_0.87.1-1_i386.deb (4.4 MiB)

Package relationships

Depends on:

Provides: