-----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.2.1-6
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 (= 12), 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 [amd64 arm64 ppc64 ppc64el sh4], libcoq-ocaml-dev [amd64 arm64 ppc64 ppc64el sh4], liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common
Build-Depends-Indep: rubber, hevea, lmodern, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-coq deb math optional arch=amd64,arm64,ppc64,ppc64el,sh4
 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:
 0e1d0300ba5dfb56cc6ee52a1354d4e4e18657c4 6006383 why3_1.2.1.orig.tar.gz
 dd42690a789b2e188dd65bdd59b9b5a84e4c00fa 23168 why3_1.2.1-6.debian.tar.xz
Checksums-Sha256:
 8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04 6006383 why3_1.2.1.orig.tar.gz
 657ad5a8b4dc36cdb146c5fd8ffd2efcd262c395c5041b015e08b0b9a0415c2b 23168 why3_1.2.1-6.debian.tar.xz
Files:
 0ba29f2d7084f7171d50271c77304cdf 6006383 why3_1.2.1.orig.tar.gz
 15215a5e0f647dcfd7dcbfdf01076a1d 23168 why3_1.2.1-6.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5lVAMACgkQdFxHZtTK
zf/51g/9HT1y7fVKB67CKOXwz2u6UPjTUpHR/TFj3TEsKDD9damGdsHZ/AxhBfRi
+kLc2kQUfe1zFkA5Av5FTpZjVQ+05vj9TvjnGROhNzW5TTlqp9MhSw3SdM43ly+g
Gqf9aqJNte7+/87UJiQ1TVElUXHobVkhCH38eepU1v7YJkN8EAsE9BfedqL87dOv
83yEiCkrQBlxQArExlaPu2foo/Uv/GBIIZQUwxcSyW3EXENHaF20BRb8adC1H31O
FU0IB0v2EATyJfdx3ZppLXbniBdxb5bdgNPpWdejYR2o1vkvDlzOBaQH5/aZ0CS1
oNk7em+12gxV0v/BrBRD3a1d6R2wRM2iLK/BtmpV36OoL7mWmxzoUk7WuFVnkI1z
e0lFOBH0Ruy5oygmy6fP94N9VQx6tdREAD3YLCanoHTSPIar+4nuWseZ+dJihPwd
XPuw6xFHNw9bpfQ753mlpNpwaQ6SM5kXg8z9DNrYhnvmiu33JUkqDQrE8M0F349J
2nhRppDo6Bviyalg2dUBlkBC1kdjUy5+0dG3jKLZZBvVcZSM2/evv8O3tauzTLfL
pELp5GQliY0ZYI4I0mEtztB7THm6ziqJI2Pib1MFyIGReAtRcl/NmuRkHIwcCFWK
8g4vbrCavAqkCWDj5n3FPXiCn9tub+tWz8H3YJTtxAMqoMES9SY=
=qipR
-----END PGP SIGNATURE-----