Ubuntu

libwhy3-ocaml-dev 1.2.0-1ubuntu3 (arm64 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

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

libwhy3-ocaml-dev_1.2.0-1ubuntu3_arm64.deb (8.3 MiB)

Package relationships

Depends on:

Provides:

Suggests: