-----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-2
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
 c8dbea5c140a5b865c0574e06bbedb590a26cdb3 18892 why3_1.8.0-2.debian.tar.xz
Checksums-Sha256:
 5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188 6637327 why3_1.8.0.orig.tar.bz2
 6ef015e06626ed4c6e7b91708e7cf6d4c7b0d834363c7e6c20f61d7cc6bda7c6 18892 why3_1.8.0-2.debian.tar.xz
Files:
 d5c98e52d55fd6341b19d2e225c779c4 6637327 why3_1.8.0.orig.tar.bz2
 fbbc9a7ba8648da9221d4196d8258cde 18892 why3_1.8.0-2.debian.tar.xz
Dgit: 8a70eaa5fb269c36a379e7da17e585fe53e0e5cd debian archive/debian/1.8.0-2 https://git.dgit.debian.org/why3

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmefFVMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBsMQH/1OBesgpJrvXqxVvbK91OrtjiDFBtvYo
rtxXM3k4BP578O7W1eyHX/w44JmFtQnlBGGWklH3rmh7kuQORTKjpZAau71HRuLU
2yuqxUO1kkKodsDh6oOrXRL1ZBNqwQlNiHZ4Xqrs6fUvkVSAyxUZl8n62CqSy/qf
6KztRbl2hwaqsRTQnFf88M0Wp4nsRrWp8ex6laBGkE6yVHKCQIFhmZS+HcvrFmGX
JyWmlIBlebileJE9EyOAtSkAygltVEh4aWe9zgl48lCBv9tYGIVwV/goOCLEAUDW
Oeuc7Ny6lFel+9tFKZ9sTJHJUhAHJh9gNA1YGMAmB4SzIZsZxBgdCI0=
=aZjV
-----END PGP SIGNATURE-----