Artifact why3-doc-pdf_1.5.1-1_all

Metadata
deb_control_files:
- control
- md5sums
- postinst
- postrm
deb_fields:
  Architecture: all
  Depends: tex-common (>= 6.13)
  Description: |-
    PDF Documentation of the why3 verification platform
     This package contains the tutorial and reference manual of the
     why3 verification platform in PDF format.
  Homepage: http://why3.lri.fr/
  Installed-Size: '1321'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: why3-doc-pdf
  Priority: optional
  Section: math
  Source: why3
  Suggests: why3
  Version: 1.5.1-1
srcpkg_name: why3
srcpkg_version: 1.5.1-1

File

why3-doc-pdf_1.5.1-1_all.deb
Binary file why3-doc-pdf_1.5.1-1_all.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package why3_1.5.1-1

binary package System - - 5 months, 3 weeks ago 4 months, 3 weeks
BETA