-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples
Architecture: any all
Version: 1.8.0-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, 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
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-examples deb math optional arch=all
Checksums-Sha1:
 991eb730b6a62d76e547b4f3deb3550f80054107 6637327 why3_1.8.0.orig.tar.bz2
 f8f76f13c33a2d472a86f7c2b83c21d19a49b378 18808 why3_1.8.0-1.debian.tar.xz
Checksums-Sha256:
 5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188 6637327 why3_1.8.0.orig.tar.bz2
 d80afe19fdd44ae0992a09b4d47669fea395ba54a382c56cc9300ad480c5fac2 18808 why3_1.8.0-1.debian.tar.xz
Files:
 d5c98e52d55fd6341b19d2e225c779c4 6637327 why3_1.8.0.orig.tar.bz2
 57190da7b8904accefe64d2933f5b2df 18808 why3_1.8.0-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmeRWeQACgkQdFxHZtTK
zf8ysQ/+KOOcuEc6gmE4q7CtCkW5lm/2NWSWZEpj6NGvkrhHFqReF2JoqGKpPRjp
pc2ZE/JL4uowexRjQHFmVIb9j47awWD66IGu5Juin+wP7BwPNTqtKjXDUd0wATEj
UJfikVamGP94XEvSLeDi3wvQmGPVRr+kyD42Dr8leDjm11nypAoNtzWy4k8LLi4N
dWYnuSpdHakh2WSavfBVZFp5o9vYwmlT+pAr3PA1SmS+G1ddXJ0Wd3WM9ggD/Xnb
3VOkYhyCg8UMSz+arxdkrCvyOPqbfSQNB0UvG2YOgdmTkOhVQGtcQkw9woJAVa3Z
4N9M+0JjbPaTQoOd8D/+ZY+rxgSBjtXSDPkrC1cERgnv0ugQ029pClG5yG8o8P0e
D2zgAHBWqt8puAH6K4njmEwgjASw3QvWCMNY2tXqRHJQ7TmTcnhl4w9A3JYlCUyE
rGBR8T2ev2ttGuTJi109sAxsKoQT5Bf7U+jovpxjgi6R5Vphz/KszO7E34Wcy29Y
l0zQWKcBGuuIg96VavxYJPBIZK9rpTNjwFA2d07IirRuGuypVg3HGJYC4wrro0jN
GOCAZZS3BBDsQTEvfQqA5Cn3mX+BkAzB69xWpZycfiFtrMovpZNcwgPWK6MaB/Px
Hxy2u0W5j25ygPifIzC1SZINscmMREhg3eE1quzcL6jHJXSxbH4=
=58RY
-----END PGP SIGNATURE-----