UbuntuUpdates.org

Package "why3-coq"

Name: why3-coq

Description:

Coq support for the why3 verification platform

Latest version: 1.2.1-6
Release: focal (20.04)
Level: base
Repository: universe
Homepage: http://why3.lri.fr/

Links


Download "why3-coq"


Other versions of "why3-coq" in Focal

No other version of this package is available in the Focal release.

Changelog

Version: 1.2.1-6 2020-04-28 21:56:17 UTC

  why3 (1.2.1-6) unstable; urgency=medium

  * Add build-dependency libnum-ocaml-dev (used to be pulled in by coq)
  * Bump build-dependency on ocaml, as indicated by opam file

 -- Ralf Treinen <email address hidden> Sun, 08 Mar 2020 20:36:59 +0100




About   -   Send Feedback to @ubuntu_updates