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

Format: 3.0 (quilt)
Source: why
Binary: why, libwhy-coq
Architecture: any all
Version: 2.36-5
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: 3.9.8
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), autotools-dev, 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 (>= 20151002+magnesium+dfsg), camlidl, why3, why3-coq
Package-List:
 libwhy-coq deb libdevel optional arch=all
 why deb math optional arch=any
Checksums-Sha1:
 c243c7415cd803c3c871951fb1b582024a4842dc 1769606 why_2.36.orig.tar.gz
 a1ed033338ece6428d2d81a3b4d5db85b07facee 11560 why_2.36-5.debian.tar.xz
Checksums-Sha256:
 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7 1769606 why_2.36.orig.tar.gz
 fb1b2c2e6013b1f2843b799b869619ee73367af1a891e0038a701e0cc0c9742d 11560 why_2.36-5.debian.tar.xz
Files:
 31a7c2fc14657124179e4f970c2f56f5 1769606 why_2.36.orig.tar.gz
 0bcbfa6892f52e67f6b0c3d2dabf78a1 11560 why_2.36-5.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhiW2QACgkQdFxHZtTK
zf/Sjw//SjSgoKrDch6NRAoHiBC8j3uBSX0tOWBHxfxg6ajg7XdS/QbAGhDs1aFn
l9LxiUWGyZAUCtAHzDhQmOqcaLthJxP2goQzmbj8fIs5hZShW1XasybE09NKy+UM
BYeMoi5Aph7pr2eJm7BkmkqXyVVGvm2EJWlj32gkaN4sECIKmrL2JIVuUtiHwl3C
fpw53AdkuB/c1PoPMx+yz1X/GyIo+zZwYJRVHPFtJlKZ0eCzAN0Zl2WgzG/PLaTE
tZre/44gG72/fejo4zgiYse8FSW+sn9M4A41wuynK22uVE9W9KiuhUpV0i2k8v6P
thbpvh6kIthInB+eYTjGttxtzAsjHn/pm/MAJs98DxrVxTAFrwd7zMLtmXw1E/nb
OVWazqajgwZZ0N0sn/kU7iaJ6PttGLlyexSD0R/WKNheOxU8eUEdf+WL9zt+aoBk
ub6Ce+ukAwbH6BrOrzGk++FhBZrziYftfPDCdihllcd8C6BMLT/63rpRe/a1U7dh
rP8QZ+kjV54Vou2Hx3UNvpFH2+IeoUgKfvuat2ZHzxh6Uc0nP3h6baQY4RqEiSJL
dw6nBl/lMQ/y2ayOFwkqTWA9hKl01bp0Nq1DWsaRyLdPXFWaQShfw4uElKZJBuqI
02tdNgZggPEGP6AjRdhUvVxKULQBqWqHq8fNoVIdaHmheOmamGc=
=80ph
-----END PGP SIGNATURE-----