-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples
Architecture: any all
Version: 1.8.0-1build1
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
 e6bd4ada0308250304152f8df8f48c4208e2aff1 18860 why3_1.8.0-1build1.debian.tar.xz
Checksums-Sha256:
 5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188 6637327 why3_1.8.0.orig.tar.bz2
 b368c0a8bac8dc288920407a09fda84410d75aed9623f0ebea81f50bc45109e4 18860 why3_1.8.0-1build1.debian.tar.xz
Files:
 d5c98e52d55fd6341b19d2e225c779c4 6637327 why3_1.8.0.orig.tar.bz2
 f9eeedda2f2fde3e9921047484eb6a53 18860 why3_1.8.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb8SwACgkQ808JdE6f
XdlAnRAA0VGMFgsM6JHhWSPeBRrrKazf46d7rsOHi64l8ICm28EfJi0exONRkUnH
WDLfR3sjL9HQiJYMsRV1MqnZuPQ7F+ec3vnDcQr0x48jIqq/1JCYrkkHuSSZG32D
xJB6QiMcLtAteWflNK5hXXbW26AE9UcvCOwYBHVY9BE0W32WmPpCq7l8s9E7W2S5
MhH0lgtSWj0/HPS3vz7VrOmf/DVixOS63cgLo6dVmhbt5E+LkpbsiazVGu4B++jB
DTvb5sEFgEFeUhkWv0/EljlOi+fSkJoAeHhEh7N8GI2ZEXKOmuiTaOoQC1bvMX9h
9NQ7qrB14lzgb0riq5r90DH4VKxEtlucMp8GLYOPJouuPy9EgSZ6tqo9lZiE9KL9
N5QmvlHXCyVQh7YULqavZ6vUuTydP4Q62GdHpCcFloRc0omP9XYVGNQNY3N7Nwc2
e2fTdymuPBtM9Th667mYZkZSFFdUvDu2r++e2uOmGskXU4SqPFmY83QevZknXxTS
7C7BeDJZZvIAtkzXLW/6hcsmcgQ8OzyOV+YbNEiLWlavCFZ8CZAS5MSeTVWamQsn
AOaN+vSrF8KadlOi78V4RRdVY3Acl0EZcF+7NtbGXzBaH46xz2/Ng6bo7iga+TlJ
PnYb/hGuyU9J1jF+NdpaPy1mEyQ8HITERBHGnU88T3jqoQ2xlYs=
=VcBS
-----END PGP SIGNATURE-----