-----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.88.3-3ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.1.4
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, coq, cvc3, cvc4, spass, z3
Build-Depends: debhelper (>= 11), 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, tex-common
Build-Depends-Indep: rubber, hevea, lmodern, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra
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:
 219c136df08209ff1d293fd408bbbd5b69e5a27e 4245737 why3_0.88.3.orig.tar.gz
 547303dcb3034bc6d34cd8cd97ec1a688b749a9f 13960 why3_0.88.3-3ubuntu1.debian.tar.xz
Checksums-Sha256:
 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552 4245737 why3_0.88.3.orig.tar.gz
 1c6fd994699108dba2a268b0826ad421d1a93eb927aa866c3239b3ddfee0ac4a 13960 why3_0.88.3-3ubuntu1.debian.tar.xz
Files:
 1ee0fd41075ba5e77a4b94ad0cc2dd43 4245737 why3_0.88.3.orig.tar.gz
 fb94c2bffad195b42216e11594e22261 13960 why3_0.88.3-3ubuntu1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIcBAEBCAAGBQJbFUY9AAoJEPNPCXROn13ZMPYP/i4lfNwlPiB11JPs06bwKQn5
suJyV6raN54HNbEDZL03mdMP2er2xaNtk7VMZfSrRk5AE5Kia3oXM/eJa4bWVsV6
IJVP2qFPcySc8wxF9xtm4Y54r1yeYfMLPKGsJcHpTEvI45qzzuey4eOT+LNeXqTH
qhnK9rTFSnjE0APMCq+kxIh4F5V8jQbxemPQ88z7B5guuTC728RqR50qaMsCiu+9
jeb2k6qGdThn4IyBKm+pdOboZyUG00WSMzs0TlCspO27nLWGapo1IWHpH6Z2Xk4S
H6IN6wHLMvinxAd2G4V4kHzKM2sUvlG9PD06qqje+utQZrNm31YkCudIgYEC3MVA
tfQqc0/nwVE5mTwkH9XcCK2W1V+VpkXgRlATq1E5KLK/qaQqQBukLZwp994OJPk8
OmAFGRRbkM/UVrkWfLf/6/PDFAivZ9y1z6JwI8BouoWPC1cErcHcPSfVv1bTKAAs
dGFeWHU4UnK+lYIc1NXsqqCRzfGUDKlZKPGujn+iM8yEpobKzcnuUK8bdWOZITV7
V4ZoNSUiKDNdljWTQznI7QHyJ1qc2gCngX0K2TpKJeKdyMLPP31i23Yp6mPKP3I4
TkGeX/D7Vwu7MmXQX8ftilGXu2Sa0VQyECeBbcyjGZd3iy3MQ9RyRExKXVk91bco
mehAjRcNvvB22up4UnJQ
=z2LA
-----END PGP SIGNATURE-----