dsc_fields:
Architecture: any all
Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml-nox (>= 4.05.5),
ocaml-findlib, menhir (>= 20200123), libmenhir-ocaml-dev (>= 20200123), libzarith-ocaml-dev,
libsqlite3-ocaml-dev, libzip-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev
(>= 1.8.2), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common
Build-Depends-Indep: python3-sphinx, python3-sphinxcontrib.bibtex, texlive-plain-generic,
texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra,
tex-gyre, graphviz
Checksums-Sha1:
- name: why3_1.5.1.orig.tar.gz
sha1: 55f6d2e4718154432559b35af133d5303f493b90
size: '6727576'
- name: why3_1.5.1-1.debian.tar.xz
sha1: 5e0a75489995c40ef3afc0dbb685884d95f493a4
size: '18464'
Checksums-Sha256:
- name: why3_1.5.1.orig.tar.gz
sha256: bcd47b59e892be0fbbeb719ca2fa190450df9dc7a424c7aa35e80fe1f570d3a2
size: '6727576'
- name: why3_1.5.1-1.debian.tar.xz
sha256: e38b7845935b9a1076cbf39ce969f8aa9e04773b066f1683af884ac4616807f6
size: '18464'
Files:
- md5sum: 078eecccf32bb160bcf044938c997dbd
name: why3_1.5.1.orig.tar.gz
size: '6727576'
- md5sum: 0b3031c26bc4b31d63aeee732cc2bc81
name: why3_1.5.1-1.debian.tar.xz
size: '18464'
Format: 3.0 (quilt)
Homepage: http://why3.lri.fr/
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libwhy3-ocaml-dev deb ocaml optional arch=any
why3 deb math optional arch=any
why3-doc-html deb math optional arch=all
why3-doc-pdf deb math optional arch=all
why3-examples deb math optional arch=all
Source: why3
Standards-Version: 4.6.1
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, cvc4, spass, z3
Uploaders: Ralf Treinen <treinen@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Version: 1.5.1-1
name: why3
type: dpkg
version: 1.5.1-1