-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 1.8.2-3build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: https://www.why3.org/
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: cvc4, cvc5, 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-tools
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:
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 c654d9db2ed47c6829c3e4d25c6e9d89b8674f5f 19684 why3_1.8.2-3build2.debian.tar.xz
Checksums-Sha256:
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 be5c2f7d3655a75195b6e6d0364271575eaa881d7c303dc26185768ad91c7347 19684 why3_1.8.2-3build2.debian.tar.xz
Files:
 0a89fc6956ad76a4af1a4763c24af107 6644926 why3_1.8.2.orig.tar.bz2
 2f4b10cb13819c86aee6de1d8033b372 19684 why3_1.8.2-3build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpONoIACgkQ808JdE6f
Xdnf7BAAguvx9yvqSzX3EEiypJwpU9pdak8TpCUOTvZm5ozwJfv7AdACnCgfPDpm
DUMFzJTiCCJmCJerj3YTkCmHXqgVP8aXogva4PTlquuhcr82ZuIZMfXPqjnW2koD
9RUg8ISgtrkFvZ+7CK/wkVK02nNrA+UUQ2hlffPb9Mo6I55gBIJrEHTeVCjEIvw9
7CUpGW05PREHdEOiykaZ1kuSZHnJPDiwVHDCo56uIJzdDml+kxjq8QH/6ZIst6N4
e/2X10J6DQR4aVuoDWm7yyYdhMx87D0MBbtERMYe1jrsdzMhbV8Jtq5LsAmBQQ/3
LETpQp5rh2Q60mGGBYSkVHulIEweO/F3AzK9ZekLRF3xHJQVY9eazuAyUlTOqTQ3
+hwycfiNr4rksFqWyzVqxKmZ1usxUG2IKtu6JGdK5mGYk0K625Fa+TYfPEVO8bTZ
bfLyUSYLWQm4AEOxQ8ig+hY3JXmwWbR6xSnQifYGcwWuYSbS6+MKKXKSSg0f2Eo4
aq23sjJ8pLy+CymLqFTeizoxgJnW0RIMznGYWLPXdT8vymNF7p7Z8/ET+/lwZb6R
6ubCw0b8z/sKv7PLwYknM7xqCBqchs3OM+8Ed5BTmcn++7PYeN0HOnFlkawTo6hT
JEYouCvbEWXnhZ2E+tzcksk602I0lVPcVz/8CUNgkNdvaTGdXGg=
=C0nK
-----END PGP SIGNATURE-----