-----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-2build1
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
 49b0428acf19547eb1c5184294b4a24d9ac4df9a 18936 why3_1.8.0-2build1.debian.tar.xz
Checksums-Sha256:
 5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188 6637327 why3_1.8.0.orig.tar.bz2
 cfcd59b1721c4a758ad76548064e2b47e90395178255ca289fae514343cbdce9 18936 why3_1.8.0-2build1.debian.tar.xz
Files:
 d5c98e52d55fd6341b19d2e225c779c4 6637327 why3_1.8.0.orig.tar.bz2
 bb506c2eb90b8871c100625999be7584 18936 why3_1.8.0-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUO9gACgkQ808JdE6f
XdnhsBAAuLUspxAW5JbdiqIJH7YKyE4VWFB71RBdzKD3yRpG3OVj5rj755W6noOb
wpzqYkt4vrOcX5sqBRnJvsbSNswb1Gc76GB49BH3ve4Pecpf9js41ImO0qwJK55t
JYlpxLKeGNFQk/tW7kzdT/c+xKEMChoEjG1KEGbYQYJVE8Nlwtk/g0GpkmgZuy3U
LNfJOK8aOixcMeB25BIY43UW4eTFpWjFOr0ifmQWNuJ3aJ2qo0VJRHdG/Pu2oFsl
NQwC1x4Ryse2mmQaEEOOZfXATE+JJvlQsx15pxnrsZXSeso8D20TOKjhH2ZPNZa1
+2cC37shPeGooPtPpMAERSRUwgMDqF57E3d25ktYEq6GYlpLROkVwyXYyqD5N6hU
mu6FaOOIJDR7B80p/VwX2CYAs5C2jtsGQqxL4CppTjCUNpbsrzbBrjIJQBIOxc3E
oUpvzacAgXPDPD8eoWD1bNavhAnk4IchXT04gFt6MTkDoa9v2v0arxNBJcOtO7y5
EfxaskWFfPFCbpBTOtvlQoaa1I1kaF48gDICbl//1deteOS72e3GKfgjNl93d61+
dQBEUdgh91FXKsx+Gegex4yKugSZYjne3woBoX2d1o9oa3MdLnEvl67LiQYMorWA
Emcmw8SHDj+2r/LxtCCgO+OWuK76USr2HyRSzXT4FQMSuAnUH0Q=
=e7Jt
-----END PGP SIGNATURE-----