Ubuntu

libwhy3-ocaml-dev 1.2.0-1ubuntu3 (i386 binary) in ubuntu eoan

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

Details

Package version:: 1.2.0-1ubuntu3

Source:: why3 1.2.0-1ubuntu3 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

i386 build of why3 1.2.0-1ubuntu3 in ubuntu eoan PROPOSED produced these files:

libwhy3-ocaml-dev_1.2.0-1ubuntu3_i386.deb (7.1 MiB)

Package relationships

Depends on:

Provides:

Suggests: