-----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.3-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.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 (= 13), 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 [!s390x], libcoq-ocaml-dev [!s390x], 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,armel,armhf,i386,mipsel64,mipsel,ppc64,ppc64el,hurd-i386,powerpc,ppc64el,riscv64,sh4,sparc64,x32
 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:
 8a3b7e075ba6f64f0ab88251b0450b1e3a09d23c 5807572 why3_1.3.3.orig.tar.gz
 51c34014128bd89b2500be0b325c50282940bac8 18428 why3_1.3.3-1.debian.tar.xz
Checksums-Sha256:
 9cc64ae6c64d95e6e2f622fa1d2aaa675e4e1e4a06d234c6fb60da17ac150ad8 5807572 why3_1.3.3.orig.tar.gz
 320f469cec1fa54dce78d7d7726eda9dc823d1a3ccbe880b149c29b815992892 18428 why3_1.3.3-1.debian.tar.xz
Files:
 7e189ce7b3ae8e25a12bea87b1629a59 5807572 why3_1.3.3.orig.tar.gz
 19351cab782d9a16265cf9013cea594d 18428 why3_1.3.3-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9rpsUACgkQdFxHZtTK
zf9JqQ//UX98iMgxp+UU6KukZAHJwHcbN8h+KlE85dLqqJiLw9TX36/1kJWJFjzy
VBVmD70yer1JVbAx7LfUHPERc5cqe0P87Dalh1XSQ5R1DZuaAsh+w/8BpA8pTrBW
qvQBmk6JGY54oVWTUWFcxbCRQScJvHZgkeTpiKdlnjTVl3WPQWilHKt//bKFWztO
OGR33ioREPuXWjA/K2O8Gjx5kuWKYdE1N3YOpzYUKJLCRNWVzC8PPnoDQI/WZKmP
BXIeMT4x3GyRcO8+/2g5MjqCVzWxeH2FYRGDxZ4aK23G78j54xJw1uqUaVcmwVzV
ZXg8vwkUhBduQfNPoHaqJAAq2EKbKMQ5LYZdTysQPvwkZYQeGt8w2ihrPAt0XH3H
hPnsq5ev6P11ohBNlVC7SF59iFpn8j9pRD6bIcHpCrrYBi/9Swzy++MWI4pbOlsf
b9kgBPhFIw14rqZ+jWJ+i+E2m5sKY03IDFtbBYgzqUyWrZdxl5CQkwdB03CTqwNX
h+UgVbjRPTj83MJz+OFnyd1XjtKl8X3GJsuwfILP+rVS5auX3bQlLKfhxp+9wJMM
6EnYKOOcdqdoYTIxeYdCbDfLT10t3MN9bCzTKE5Sz9KXlkyoHuXoSowneOo8ZKSE
JutR8vkfTtAZYpwxqCI0yNIxwb+jDNiFZCdmhay0ufjwnme+aSA=
=cFn+
-----END PGP SIGNATURE-----