-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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-3build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 3f2fa7cc766d64fe06f8ecbad4d26e5cd99ae81b 11988 why_2.40-3build1.debian.tar.xz
Checksums-Sha256:
 285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540 1498394 why_2.40.orig.tar.gz
 31cf3eac185c8b65ddd39f04120c5836c4bed7bb982edae61fdd3ee477243d59 11988 why_2.40-3build1.debian.tar.xz
Files:
 8032066e59163e564631ab566a212ce0 1498394 why_2.40.orig.tar.gz
 29941d34c0ab69498a1ad09b35bfab77 11988 why_2.40-3build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAlvs+psaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0Rrg/+NsMuOmcrm/Lo6wwnVcTy
nmuPNqEozqODlnkDVDyntp0+xV8GprexD2aevwDXMgIgtcu24MoQGMAfoe/TyU6e
S14j9XuOhhFNoBlhicX+mogs0BEvLjPlQwKNYSIQTEXwAWdaqJA5aVA+MsoZnA4X
vtMSONgtVUfNCXjaoHarFYlE8vcSxYj/PIaHT5t0ZYND6Rt/Q5imtTzSPrKyh/HG
gy1OZi7mpuyYVCCz/ydh2t6ezJZekBxmZBf0rm5DSmC6BpSxBDwEk53shn1y+gWk
cczM2ZNoIzI4DU6znBT6GZ9UZ2tOd8p7pp+5R0kXk0VRpC7OFT7cRCALRtscULbY
HUNHJz7yxjZ5S55/EjMXSOPSbsSaElBGVgFEUx7PRun6kz0rfnQ7BDyf8H4EhUxU
5ijuwqQUpIiiC5tncqZ40ir9bXQzJz/6Q2aaHbOaWnWQ4PpaGhcQPNl/Rqu6uh+t
M0kyqn7PaNHcfb3ot3zd5qMfHxXevj8fPbY55cLU2zIKRBrRuOj1ZuuE0nsUXWJu
TkqhIvAh+RY3xIuyhRdDEl0CviJx/uXHnin+cuyV5+SLr/rw3BzlgKxvra91mE7x
POmXE/M7CdwjWE6gc9VgqbHNpN+4v8KM3Aa0/FGQx/IqWjKH5MF/1mWLwGXg8boJ
bzdNCHnCxRBjQRVtAwOxmbo=
=p6wL
-----END PGP SIGNATURE-----