-----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-2build1
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
 c25b084900e4e5e56c27a8f88746c9ea881853e1 11816 why_2.39-2build1.debian.tar.xz
Checksums-Sha256:
 4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159 1694571 why_2.39.orig.tar.gz
 fb18d2defb2bdd1e7c7b0d2d8b603319b0a44bdd6da8af02f9ac4249d6650f40 11816 why_2.39-2build1.debian.tar.xz
Files:
 d03ea54b2d37039d26a1f2f82b61d860 1694571 why_2.39.orig.tar.gz
 9bf78a62f38196bebcf60f35d61a56cf 11816 why_2.39-2build1.debian.tar.xz

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

iQIcBAEBCAAGBQJZ9JffAAoJEPNPCXROn13ZyZAQAK2FJ7lEdf9O3S1hJkI4ZEgk
0njmPd79MoxKecPj9mGBm5UyS3r1Ruqg5Pv5rwcwcnlKQi7eAcOXhpAk4XlTpU3E
0yhYNg8BreemprOqYrzv4aEX+QkYcC9DP6dzYYood++DV5jCwqR4MYIs8CKCA/+3
Cvr25prEiIRNaWy65OO6m75NUgNGcjp+Vi5XS3oJyLEGuGi12jmWbWxVce6UhF9a
sBuF77pG+cQ+GuPyr0Vzp97KKYSbDM5erYQHxtqR5nDGorJNDRAbT3ttGJTzODg4
sMVuOZ4LZvCQyK7YTUWRCt8E5D6HUYT41XNCLgH4rwSsxSfm+xZWNRFGmHyKSYPd
OaLirrlNtQ6Z4oSpy8wKUUTBKwsH/czybAaz2MrZTWCx7rfoqYFxUKWrcoWbF7Bv
6fqHkbPEYmrxOpuaw4wU9ARUI5WVg7/wAjGuLKQXZajx0JJHHCviWnGhc9QGiCQ0
cvJR1e9ccaAp8fbfzIlQK8d3DBgXdA83NRjsrok8su1hsOKQ0M+3Ndul3xcSAlWw
PJLG73IWv6CHohK41VOOn1UXw2IM4F7c08shPdPFYSmd9vIcWlt0bDHkqVIixoEV
x+2HhcB+M3jFio4AuLlCK/vlhGz/VKdV0GLEBrGhzcZAldyj2UstBFcrgLS8fNDO
BPBdsRwhv1pPla5yPMjF
=4kFW
-----END PGP SIGNATURE-----