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

Format: 3.0 (quilt)
Source: why3
Binary: why3, why3-coq, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 0.87.1-2build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/why3.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, cvc3, spass, z3
Build-Depends: autoconf, debhelper (>= 9), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev
Build-Depends-Indep: rubber, hevea, lmodern, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-coq 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:
 2e53da58269f5d85b6d96e56317769a3f411dbbe 4480316 why3_0.87.1.orig.tar.gz
 971d4a8120e8d4d9cfb2be5fdb711ad1e989c7bf 12116 why3_0.87.1-2build1.debian.tar.xz
Checksums-Sha256:
 8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb 4480316 why3_0.87.1.orig.tar.gz
 54bda8f5a84ce903162588ae2808033836c14a7cf78c3e0766b6e824bd747f7f 12116 why3_0.87.1-2build1.debian.tar.xz
Files:
 f1780c8579e6fec9a7ece3ecd05a01e2 4480316 why3_0.87.1.orig.tar.gz
 47dcebaea1ccd701e5976c6c0f17d803 12116 why3_0.87.1-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJXyWx2AAoJEL1+qmB3j6b1fFkP/0sTmoVuL1tDDQ1BnjkAZMkJ
XPhQZQaqXv3MAzxWNP3norHH4huWPp7OIqFzQ7da6gGEu2/R/164Uo/Tcn84JI2F
SKXTzlQE7EWQkTPpbeRFjlf3ukGSGDZOH0YNs+0qCo/NgZKZ7ViQOkC0kcm+lmfx
xNKzNtYtBZzFupDFA5tRbdMzRY+EEqU4EGY+PKlFbUwkSKI2gLiaj944y0R4B4x8
MXS8HoCXB1VPot4wRF+m5XUgggoPGxddQan0I8DPB6hWHEgqMzClyWdXIDYreicA
o8wnZkgoIKdkASujLAzFQwxiVjxBgnqt4zQRPGiiVkFVSW3hcsCQn2LwMIK7+P3/
xClW30oXmS3QnrsFFoiPTL6wEmqXuzEvnHYiaFTtC9geY4vkXXNrLKOsQdPZZxVB
KlJaamr/ABtPn9YsBrxzk2fBPKiJoOWEr5TcGmY9chbqJg9d5F5LHXf1esG+Wk5T
JXgLbncWRd/SNs54t3F0WZ4OrOUY2AMIPx1bOHAvAguEb0dwXYvYy3NWQ3SSYWFC
GzvyYS8xSwE2dfYXqykII6AMC8DGiisFU0F95dioy0oFRAJnBlchKLoS1FXkQAvX
N9vRWXF40q464YRNcu5W1O7TdVAIYzGMT4Vv/AUwUhhxxG/MvO6b/GOvadSHyhv/
2BerihKS2h3wqGU9Py/W
=kMNl
-----END PGP SIGNATURE-----