-----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-1
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, 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
 31a4cb5b6b33014d427a684c4cae593bf601b53f 18520 why3_1.7.2-1.debian.tar.xz
Checksums-Sha256:
 7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305 6321645 why3_1.7.2.orig.tar.bz2
 c4846e794570029460fdf85ec6800f88011c57e4af86b30e450dbac08f70b8bb 18520 why3_1.7.2-1.debian.tar.xz
Files:
 8db707cff5cc897d058011794985395b 6321645 why3_1.7.2.orig.tar.bz2
 43412abc32607f7e492ffc797cec5b37 18520 why3_1.7.2-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAma54EYACgkQdFxHZtTK
zf9nHxAArOllCfuqO8G9//lRzdbUrsXC3Bnfct+Ph/PYDhP2pkaRWJ1N1mURWeVj
THsSzLCCUKr67kNI7BwrnPpe8p0IvQEacSYpRXbarHUO5REz2q8xo6yYD7y2zEUS
SvsCHro0HaUCDoV6LpaXg5AvB1Q219GffadVEINVMwZSQ9Ed8feVb0v6+66VcjAO
wRHzMt6Jt+4SCq/seSB+YiA+T/xMVG6mNZQxf/Iy8vXnmQL0Wmb4s6GI/hNM60d1
GWWiXiZE1nAiDprj6wGS2w3zv5cjdkDH6YQCm3zvgSyWiLmpOOVqJpUsslZFtkGb
2Uuk+1TLf6SDuClyS+sdjrhvfYcqUMCuUzH6xx5uBkPxW9Q4i56zCAZ2H9u3V8Vq
X3HnSsRULKa1VToY2+2J/Eg9lSH2MuzSHkkJFr1xQCFIPW72nGlBPIDt1b9AtXyg
NL6fKPRIQTj38CSyEGKRvJCOFceClKqQx8AGKQ/4bxxjns30/wKr9b6v88n8C8AI
HUqo01F+0Czo4X+WV9a0u7MBjtLa4uJl+W16AK4JYqiiqIe9NRuSUjqawuMmDA8E
wAjOBSAPcOf0ob2Aitcaa4Rsm2r9JjTu5cPEVNeXwP0LeuwWxh/fQLxFFgpRLWw0
CwN/vYhzeN4vK5TAlwHIKglmmPv4+8Ep36JNPVH/3xaFY1oZTxM=
=zAtP
-----END PGP SIGNATURE-----