About

This package is 708.0 KB. It is available at http://ftp.debian.org/debian/pool/main/w/why3/why3-doc-html_0.87.3-2_all.deb .

View its full control file here: debian/control.

Description

HTML Documentation of the why3 verification platform

Relations

This package depends on: tex-common (>= 6).

This package does not recommend any other package.

This package suggests: why3.

This package does not conflict with any other package.

Package Contents

This package is currently being indexed.

why3-doc-html 0.87.3-2 is in debian - stretch / main. This package's architecture is: architectureless.

This package will not be indexed since your user agent reports your browser is a bot.