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

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 1.5.1-1build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, cvc4, spass, z3
Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml-nox (>= 4.05.5), ocaml-findlib, menhir (>= 20200123), libmenhir-ocaml-dev (>= 20200123), libzarith-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.2), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common
Build-Depends-Indep: python3-sphinx, python3-sphinxcontrib.bibtex, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra, tex-gyre, graphviz
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-doc-html deb math optional arch=all
 why3-doc-pdf deb math optional arch=all
 why3-examples deb math optional arch=all
Checksums-Sha1:
 55f6d2e4718154432559b35af133d5303f493b90 6727576 why3_1.5.1.orig.tar.gz
 b44a75122887bb9c40f6bbd93cad1cd0d6abd237 18552 why3_1.5.1-1build3.debian.tar.xz
Checksums-Sha256:
 bcd47b59e892be0fbbeb719ca2fa190450df9dc7a424c7aa35e80fe1f570d3a2 6727576 why3_1.5.1.orig.tar.gz
 4005af9ae98f8ed2b45ee36c6adfa2fa94e4553922e9295d1b2a164e2fee2252 18552 why3_1.5.1-1build3.debian.tar.xz
Files:
 078eecccf32bb160bcf044938c997dbd 6727576 why3_1.5.1.orig.tar.gz
 ca00c13cf5054feb727f34ee49b0e750 18552 why3_1.5.1-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPx308ACgkQ808JdE6f
XdkYZw/9GW+Jex5CG9BmPu+5y6oiSlaM6ysoLGGlqVMIi3PFHT5Q7DDSoCRlVR22
sapB6yXZ7z0AlfE/WmRldIo171JuI+x+HOo7ygunTEHEJU4NEEUV8JX0GTzSq4ww
GJe1Pcfj6/SrWTjAhX/1zXRRZZXTo6/1VIvJMQwfhYna+HmFq7+ovBQX8AI5V1SN
MBSaMc78yC250e6H4eKgAVylUcNOG1EaCHI2TgJo7mN5FVeVrlAGm8XBVqBksbmU
t8f5vwdjRhBB2y8CCgixoPwUuzF3spDarRU7SDAsNbGUt4dbJ9ZFzyRrRO/to8gy
2eBbNZNuHM7j4r5wV2KgI2XMT7iiUC+a1lV9R9RLfJq6ufR6hE8TZ8ZZly8k1L5m
Tj2QrNqJaAvp5tIhAgMLL1VzoJiRPna2GXoy7s3XChYFGm5BclvhEvSpeGZ7Z3GS
/+2fiyWqyETgghda4EzQJgKZbqDmJ1qiVtzOGNGebQs3jIKYnyxop++vP2f0gAl9
gIu3KmEXktepBgGwI7GXrse9Gvlb3/ev1WH2bYXCBeDDYk3ZgsVChTALhVoVb16u
FoN5PxhzjTO7y6gMtEVcLDXSoBgxCT/uRg/c8UAXkAbvsu+can9FWELLBampP7xt
ekne8DO62FU1P8a2EWPSCwA2lbnC731X0OR7L5PyXFkMtsLF+XY=
=AGn2
-----END PGP SIGNATURE-----