-----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.3.1-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.5.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 (= 12), 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, coq [amd64 arm64 ppc64 ppc64el sh4], libcoq-ocaml-dev [amd64 arm64 ppc64 ppc64el sh4], 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, 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,ppc64,ppc64el,sh4
 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:
 1e05ac170fedae6eca06354e6829c7257f96b2b1 5823991 why3_1.3.1.orig.tar.gz
 f908449afd0f9d4ae6942172e841cb1e9b12c422 18052 why3_1.3.1-2.debian.tar.xz
Checksums-Sha256:
 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b 5823991 why3_1.3.1.orig.tar.gz
 71e5cc7aab8d351f03da99a6cc5826dff5dd911d53dabc8fc4cdda01c292ad61 18052 why3_1.3.1-2.debian.tar.xz
Files:
 0c2a5c869e9cd168e850adc7e7f872a8 5823991 why3_1.3.1.orig.tar.gz
 1672cb8a49403b9b7d4ba2f2046e89a6 18052 why3_1.3.1-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6MzOsACgkQdFxHZtTK
zf8+hw//VNIIGU6byxIUnwF0BOVWvFCYqACsCtn/VgJoszjKQM+3EnCz4YfJqqJC
uOk5eAxK1sHyw/vCoKkdEEFPQc9ql4CzQTWVY1CLwPp476MENm7JfHK77P97WB8g
OZaI7dKk0QljL+QJ/nILchLDo2HsohXV8V0J8EVwfFeP1/r/DToNFVnRKOSbPVj1
auSSl04SkfLuQYM+3tCth9qyJQ4oIcKhk6RA23ec3M2N+3WIRWUXnmaXoRzSFxpb
1/44zD3CnBQdviRL+yuy6GdNsYhDsBVQGkLit/ch00n7FPZibVZNeYhBa8H3pnYT
CpYaII94XKTtpUsY2s87ZIGEU+wO8pBs3VK9ZSsTcr3TpmBx1SanFtsFu1Vz/Sf/
gLizTx2sLjOI7fDtQAoBA+gGZCkxdEYZSOHCdrzuOfip5BXnek1BiBRRNwsRgRSQ
ecqpfqp8AHwCmBc0edvr7VpG69VU54Oc1lHYR9qpAl40ZerzjxQIypjzLI2+S04h
IULCVx2x/ohmFoWnn7wYQCpanfdRW45Slpeq446r4s2LDrEkn3X8PmuqEz1Q7rXx
Y6vkOMebkxKHrhlwSpzSO0bDVgEYyCETJq5kaGirN7NkhBCqtb8U2Ju4PUcVZ1gc
nE7LaGO4Fi+CqiaCfpt2+j/DuU5PijZF6mSQ6EP9eBZRx9Q/Wvc=
=pWXM
-----END PGP SIGNATURE-----