-----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.1-1
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
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:
 293de0785ebc046491b8bcd8aea941e5c7eb0d3b 6639678 why3_1.8.1.orig.tar.bz2
 0e44cfa21af57a844011545e36a7b1c597476a2d 19476 why3_1.8.1-1.debian.tar.xz
Checksums-Sha256:
 43642d8164458eb389aa90acd2ff0327a5c9ce41425f6ebff7492c9a584e0cbd 6639678 why3_1.8.1.orig.tar.bz2
 354859317695eeb7fa8908f9cab424e15ec771aa784018490521d2dd78b5117e 19476 why3_1.8.1-1.debian.tar.xz
Files:
 57461d5e1cdd5a2179a9c2bb801002bd 6639678 why3_1.8.1.orig.tar.bz2
 6c5d6c276b5758a31d5aa98fc574c1a6 19476 why3_1.8.1-1.debian.tar.xz
Dgit: 56182a40c6e46f1e3faa96bdda7470ef3ecf76c5 debian archive/debian/1.8.1-1 https://git.dgit.debian.org/why3

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmjEGcwSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBj+gH/3CeyM6cRgF7uuro25hVGBFzF7J5gXtv
32woqjb3aM1vs/nC8h/KfW6X/DvubRhfsxmdWTimp13EbpULh9mUfIhpayX1QZJn
r+PK2TArH+QBXZcnrgYGylwckMJZiI5rDHk+aeV/Fqrxz1FmbCKxREwyOLmLbIn1
HPBfmvBFZwsnXDV6uIK5ewM8rmAJAXNPoR3ochz4XTB14e5UgNXZ50JlOGx1rWT8
jhFc9k/trFRpXRzPf4ePfalfCltP8Am/f2bt0GEtkzZD21kZTXxcs/T3EiJB3WkQ
DhkbRPRRWSeYDuTnqgtVmY82R9MgmrqVukdJFnK2O3vIkBncJbr8QrQ=
=cwWi
-----END PGP SIGNATURE-----