Artifact why3-examples_1.5.1-1_all

Metadata

deb_control_files:
- control
- md5sums
- postinst
- postrm
deb_fields:
  Architecture: all
  Depends: tex-common (>= 6.13)
  Description: |-
    Examples for the why3 verification platform
     This package contains examples, both of program verification tasks
     and pure logical verification tasks, for the why3 software verification
     platform.
  Homepage: http://why3.lri.fr/
  Installed-Size: '20006'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: why3-examples
  Priority: optional
  Recommends: why3
  Section: math
  Source: why3
  Version: 1.5.1-1
srcpkg_name: why3
srcpkg_version: 1.5.1-1

File

why3-examples_1.5.1-1_all.deb

File too big (3.7 MB > 2.0 MB): you can view it raw or download it instead.

Relations

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