why3-coq 0.88.2-1ubuntu1 (ppc64el binary) in ubuntu bionic
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform, as well as the why3 tactic for coq.
Details
- Package version:
- 0.88.2-1ubuntu1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
ppc64el build of why3 0.88.2-1ubuntu1 in ubuntu bionic PROPOSED produced
these files:
- why3-coq_0.88.2-1ubuntu1_ppc64el.deb (2.1 MiB)
Package relationships
- Depends on:
- coq
- libc6 (>= 2.17)
- libcoq-ocaml-8eoz7
- libzip-ocaml-5t4j6
- ocaml-base-nox-4.05.0
- tex-common (>= 6)
- zlib1g (>= 1:1.1.4)
- Recommends:
