-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: why3
Binary: why3, why3-coq, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 1.4.0-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, coq, cvc4, spass, z3
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), coq (>= 8.7) [amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 ppc64 ppc64el sparc s390x riscv64], libcoq-ocaml-dev (>= 8.7) [amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 ppc64 ppc64el sparc s390x riscv64], 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
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-coq deb math optional arch=amd64,arm64,armhf,hurd-i386,i386,kfreebsd-i386,kfreebsd-amd64,ppc64,ppc64el,sparc,s390x,riscv64
 why3-doc-html deb math optional arch=all
 why3-doc-pdf deb math optional arch=all
 why3-examples deb math optional arch=all
Checksums-Sha1:
 60b19818c00ce9082d5b4eb9ffad7dc93deeb8ea 6306524 why3_1.4.0.orig.tar.gz
 d526fc6069a9fa4bb73c23882e321eb0c6b35f2a 40048 why3_1.4.0-3.debian.tar.xz
Checksums-Sha256:
 68e7c1ae54b6f3cdb48e633ea64d68da01a45f5f7545ccf74eff1f32fa658053 6306524 why3_1.4.0.orig.tar.gz
 674ced5906934529daeb03344b4e17e04930c910f810f4c0eb75130b8115d0f0 40048 why3_1.4.0-3.debian.tar.xz
Files:
 9755cedf1edfcacff652149783e18647 6306524 why3_1.4.0.orig.tar.gz
 361ec054f4e5e55ab46c6b046112f3be 40048 why3_1.4.0-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmG0g4gACgkQdFxHZtTK
zf/5ug//bHSwf2gy63LX64Kwp+KTZct0gv01OxQgfg6xzQpB2dIfYzK08WBlAjjx
VtZVqOWYARA8CDChDkPG/DUCx1hF31Rl5t5jZux6DrzmSPyItH7Tst2bf0DYLNXw
7kwQzaz0RIilaY7YkO1qdYhApxfpkZwB58tO4CxxNnDCaSDtrV0H2XZtnFAl7w5J
KIbRuUNjGpLvvO0TlNxFB5wIq66plI20CUz2Z22xJVgS1oYkoLAIi18SIa6lB9JM
QefqlaFUf/or6j7SiQOhwnmfaMawS6UfPnHadcE4sqtRtGo3Fc6bDosEMf0dr0nY
PgSV3B66+XQheZO6u/DbzRbuf+9not2shBRnfT36/XEc01KxPri8F5u2bxog49VX
Z3/ko8no+f2khnH/BguQFrWQQbaQq48xz+d49+LIahmclS4XLXJfSaov5bLCken1
nuigHS7oMF/4ITunEZQyyigAy7HG5/zN4iagXd+hV53JBe2SQWiA/JegBRT1Ed11
ke7Hco/EMM5ehbLWOANVPJrmYD79+oCintBdGZyD6Y9UsMhDm16qLQhYXpHR7t7Z
WXuFZB04MikeO4aZPx/x44H33WS9RhW6Ib7pZKVOCT5PN9oybkpUzaIPFct5Mvp3
t4MZVDp6Xy3znHyLkBUllgw8yPAXD96Ap9WpNR51AM7a+NmwYiU=
=rWeK
-----END PGP SIGNATURE-----