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

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 1.7.2-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: cvc4, ocaml-native-compilers, spass, z3
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
Package-List:
 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
Checksums-Sha1:
 0d28c008f0427acc38af6a1f371dd85336dcdd55 6321645 why3_1.7.2.orig.tar.bz2
 75b0c6e4f03cf06a039c379ad69277e38e952e98 18688 why3_1.7.2-2build2.debian.tar.xz
Checksums-Sha256:
 7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305 6321645 why3_1.7.2.orig.tar.bz2
 7f60d9000d4d34f04cb09622a3b5cbdd3a9d8c5fc241feee23c49ff3fedfaf18 18688 why3_1.7.2-2build2.debian.tar.xz
Files:
 8db707cff5cc897d058011794985395b 6321645 why3_1.7.2.orig.tar.bz2
 3360d90c5413dfd5cac8a242d9babb1d 18688 why3_1.7.2-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmd2x2QACgkQ808JdE6f
XdkG+hAAzsygDIutBKAmMloN2HY9JylnoT7HgqQe/zjgxCPH/+wM0uRuAVvpsiF8
RP8QtHve8q+vcTbVc/eD23UaJLvkkY/aZBztk01lHueccCKC0v+KDDwsnQvMpqcs
hyHaTAV/6eYnJtEsShPUe8Rt30zXx86DKyoYBVohLmSt2ZrR+o2Kv9VYKD36mgeR
RZsu1uVEPrAqaqpBv9+/b3DMcfI1MxtKHKlzc4RvvCV0bbKH2o7hryyjNz9wfvaW
PtNbtYOZrRbv8GXbdwXmUCRrDsei6c9RWAlKby2B7Hec71ixivD95w0kCZ8NLCw0
OWfDy8sfkSp0sv1XtiCjARW7Nd/hrDDh87Otwn/pQJVUMyesZ1Vy8NCQmSxEQzHJ
0Q4o2SrlJ7JUCVM/3z81G+kv/7Y9WQKPcn6EPnadJar/6gerWxpt2BkgZt2o2O/U
HjgbiHp29NSG48LBYFS5R6JFD+A5IY/69QFbuf+RDhcws323uDk7LCdfOvoH+ggf
OiROtmeUMX5sJjrl+3l3wIEH/DnmPrbFQPzkQQorBD3NU+PIWB00ObMxpbz2rkTH
sdSfwMIKBCOT1CbItag/fhKCSkGIkzo+YQFHjrdnGXgkBGlfQnJcQ0P+fZD7rdbY
L1FaxMI1Suh9xGDzHHiLZMGwhZhviqcGLdFC9lM7LHg/2zEjqjc=
=I7W6
-----END PGP SIGNATURE-----