-----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-3
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, tex-gyre, 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
 98f3d971a80cdf4733898c0a7e8647a0ac7c4b1b 19332 why3_1.3.3-3.debian.tar.xz
Checksums-Sha256:
 9cc64ae6c64d95e6e2f622fa1d2aaa675e4e1e4a06d234c6fb60da17ac150ad8 5807572 why3_1.3.3.orig.tar.gz
 72ef79358ed6502bb8f3662db60ed95ba4aea457471d5d42e0325561f223bb9b 19332 why3_1.3.3-3.debian.tar.xz
Files:
 7e189ce7b3ae8e25a12bea87b1629a59 5807572 why3_1.3.3.orig.tar.gz
 84b2bee9fa3741ef1a3ffca1457e5884 19332 why3_1.3.3-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmF4ACYACgkQ808JdE6f
XdlyNxAAmnD7PI28iWjjfHs7pFk6sAvsb0+6ck4AwrRoPfbP15H9Njypv7zKkJyD
wCUiVp89fKOZisH8fBX3Lpzhq/+JABFbIX/OyEhhJ5vHwgVLOTambdC5vy5NLIXs
98Kl+gA3XnuGmTqgPuzG/34tQjE/ZKgUAS0R4c+IEZrq3Ftq44uRXgT3zGyyHG/q
kN3zvZvzxFPea4Yx1N3Au6rqVHmnj70tuaYUjTh5i09NsfOY7VgvahUIRcUMtK5Z
b5iNKs/8J9QBJgcjHWNmSwv8pUZKeDwEOcoutVD5LwVsnAvGawonSJTzc47T12tO
gDlcfIUvzYKt92gUsU+8bpebknrRCw1/72093nPJCmUDynmtlbvQEeKOc+P3o8LM
4PqxjlqJpetbSOHcAwuzPAOmjTJiWy4tLY810wFVm66YHTrczgclHjooJxi9BDia
HSPWY6/ADhuTLRFukjtStZYv9xkMz/JwuSnEG2cZt3dkk1CxgEGxjtsPyPbQNkLR
P6YXa8EilxQAoefhxTPNTyeWyetzL3lfmW/AzedgsY7slSMCgPvj8yipoEON+VdF
yESsLjeZOmsoC/IEVlAnC7QsPJ7prncuEDfCcX8Z9Od2bArgAIY+afjemdPVW4kf
juGqUTjBUNsivBQu83eMjBljrBS5ZcYpj3IhIE0Sva+j8GCTrs8=
=SZYd
-----END PGP SIGNATURE-----