-----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 ppc64 ppc64el sparc s390x all
Version: 2.40-3
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.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/why
Vcs-Git: https://salsa.debian.org/ocaml-team/why.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo
Build-Depends: debhelper (>= 11), dh-ocaml (>= 0.9~), ocaml-nox (>= 4.02), camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), libzarith-ocaml-dev, frama-c-base (>= 20171101+sulfur), 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,ppc64,ppc64el,sparc,s390x
Checksums-Sha1:
 18c5a65a43278d5df8bd9243b217fb00ec328211 1498394 why_2.40.orig.tar.gz
 a21c16814b8a155176be1acab69ae9bc79ac9714 11872 why_2.40-3.debian.tar.xz
Checksums-Sha256:
 285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540 1498394 why_2.40.orig.tar.gz
 6b6a5bfd3338066549d3d6266dcc038d8119e78649fb2be1cc36a8735d29b928 11872 why_2.40-3.debian.tar.xz
Files:
 8032066e59163e564631ab566a212ce0 1498394 why_2.40.orig.tar.gz
 ac8df73fe9c614a256e80357f269067d 11872 why_2.40-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlr3/x8ACgkQdFxHZtTK
zf9FOw/+Is71J6SHWW/lIma3enSEfeLQkHuc3DT9GkV6c/1PSKnHsckH81ANJVac
PrAT+8Wjhl3GmrsoAG2L91JWqKLZ9V1TAfvMCXRmIwvbBBdZ0r6O47982eVpKXIN
rYlaXZCsL0f0gLalOiWYtPynxsBDDUexgjAsEMYbPtWwLqk+p45eT6g8L0xoyURz
tUcNb806It6dNQEBOX+xCXaVL0uUmLJ4UTC4ml6eZSYPJOOOwZb0Ae5ihgaawkT+
pJnwcMMfEhdpBviYCVGG/Ska76fiBCkRWksE7g48jQsu15UIJcQKismThoGll9pr
BX5BozTcvmz55rHey06qKUq1ib+PTR1Mvvs6LiXvSAPFu4ej035Jy/r+kA3UduoO
WclmuNcLCUIuINOSQ+C7UKF1HBl3WDbnIGiS3gEU/9coU4uRFpTWoSv9rfQssKVe
zDR83UzzOvLdsXV7qV263CdYTN3qXDZ3xIkw7YmCI1S2gl7xrKR76pr+s8ckyTpE
R0ZOu0RGxAFIoye/GZbhAHRpQlgsPowLINyTyabfPfKEleN/182gUviUUztFUgR8
OjkjmwwYroG604vkFR1R3cIoHVw/ww2T3diF4KWvGqEDobw5coG0564whdXpFKpZ
tuJqVrhd9kQTw83OA0c+IiVPqDv+aaCZqZtAUqeVwPL1ydoAY0k=
=+edS
-----END PGP SIGNATURE-----