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, 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.7.2.orig.tar.bz2
sha1: 0d28c008f0427acc38af6a1f371dd85336dcdd55
size: '6321645'
- name: why3_1.7.2-2.debian.tar.xz
sha1: 761db1462de28010a12ac553d54546cac3dbc5f3
size: '18584'
Checksums-Sha256:
- name: why3_1.7.2.orig.tar.bz2
sha256: 7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305
size: '6321645'
- name: why3_1.7.2-2.debian.tar.xz
sha256: de0b8ac19b206fb73fb302d78924d70dedc2248a42f3ca19c8dab15a99b9760b
size: '18584'
Dgit: 0b5f26f0372505b756aa583b94654416ccd09092 debian archive/debian/1.7.2-2 https://git.dgit.debian.org/why3
Files:
- md5sum: 8db707cff5cc897d058011794985395b
name: why3_1.7.2.orig.tar.bz2
size: '6321645'
- md5sum: 502d3ff132989d1dc5bdedeebd9a9694
name: why3_1.7.2-2.debian.tar.xz
size: '18584'
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.7.0
Testsuite: autopkgtest
Testsuite-Triggers: cvc4, ocaml-native-compilers, 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.7.2-2
name: why3
type: dpkg
version: 1.7.2-2