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

Format: 3.0 (quilt)
Source: why
Binary: why, libwhy-coq
Architecture: amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 powerpc ppc64el sparc s390x all
Version: 2.39-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://krakatoa.lri.fr/
Standards-Version: 4.1.1
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/why.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/why.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo
Build-Depends: debhelper (>= 10), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20170501+phosphorus+dfsg), camlidl, why3, why3-coq
Package-List:
 libwhy-coq deb libdevel optional arch=all
 why deb math optional arch=amd64,arm64,armhf,hurd-i386,i386,kfreebsd-i386,kfreebsd-amd64,powerpc,ppc64el,sparc,s390x
Checksums-Sha1:
 1483e8ebc9f759e70900ea592da5b347259810d6 1694571 why_2.39.orig.tar.gz
 7386bae85a4d342672f1a8daf051938ab5107e32 11760 why_2.39-2.debian.tar.xz
Checksums-Sha256:
 4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159 1694571 why_2.39.orig.tar.gz
 b0c1d64195c14f03a14a4fb677d53f4cd795c292cea95f2619a7e5ef6d9e8f4b 11760 why_2.39-2.debian.tar.xz
Files:
 d03ea54b2d37039d26a1f2f82b61d860 1694571 why_2.39.orig.tar.gz
 18753f1b78d56b8e23574a3ab6642b71 11760 why_2.39-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlnfwCQACgkQdFxHZtTK
zf/SORAAlBa8o0GPTAcF2dkCGbTVOY0qPe5JNjqo95UtotZYD/lKTgeg337MK0Nu
r51c245zditQTRcKJpyAy1ydxalnWu8OkUGnK5+cUzZ4rLTopY8tSzzL1Qd26mH7
BCzRzAoJbAlM8kCKVkNLsadQWAuEtYZ3tUhovELUaXqBBv2Yf5lX9r2ZoeTvGLz2
D6lrE9zVWoV7IrHEvubxIndb37j1YK4AG0I5Y3wNx+0WNJpMvJXtaDcZpY0UsTyf
xRmZ+jal8uAPYX115cj7fpoeb8u9UjJA1VHpz3wEXHlm1BiyvJqqHekg+Vmv6k4j
gRJzY00WT7lLoVcSZ3Y0Mvlbv+l4oTtZYGe0oHbmJztWh/Zxp0QPswT5cJp3MWcf
goenSfcs8VSca2eRHWkDXhjv54oJ+WbKvoLVRcSJjTl2JdT5kLIqmEAZClsSOZMn
AyV1IxBoETFwHxUuizA913tXgvz2Z8mWPXKflWZRNPr2iqzknzqfVtbQEpupwjGt
bdtO0JU0wWlrgAhwtUxPve9QcR/1JSubqeoM8BEQUe3t9m0cL+sPLiG3loy7hs2p
PW1+34HsXfceFNqh0XEgqPDORGuQO9CvsPUM5USaZzHOL3Oh0EcsqnMl1MGrV172
izfNwYVJWvu9k/Mfc8lnxuict9B7G7sHSOXCJmNk5CJtxK1+V0M=
=9Q5W
-----END PGP SIGNATURE-----