-----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: 1.2.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.3.0
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-compat (= 12), dh-ocaml, ocaml-nox (>= 3.11.2), ocaml-findlib, menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, liblablgtk3-ocaml-dev, liblablgtksourceview3-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:
 0853726b80e512b443e10279edafc8f591a62f37 6005013 why3_1.2.0.orig.tar.gz
 eedc04957e716eeb41cbe8107493a47a36a51811 16332 why3_1.2.0-1.debian.tar.xz
Checksums-Sha256:
 888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077 6005013 why3_1.2.0.orig.tar.gz
 c30d82a0d0bab23869fad16cb1b6e788ba525de3c3aa1c36ef8fd4a88880ea9d 16332 why3_1.2.0-1.debian.tar.xz
Files:
 a9574b33d94c9a4966704c8318489db9 6005013 why3_1.2.0.orig.tar.gz
 3452cb22f64c40d1d126c75b67fbc45e 16332 why3_1.2.0-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxnId8ACgkQdFxHZtTK
zf8yIg//WXz6vhdGPC8mRSCZamzRAUS1oFrEn+tKuGPVDjVsbTafcksAUmf8tc9w
4BXPlGnQYlGTZqlUro1nOmnsmxof10rFIeV1i7qIYwDSEvpnNIgx+zn+jdG8Ucvp
hFHVKGDsU3sjeIaq3kK9Zz6+1WCeboa0c4TMnRZQpoU2HR4cxa/FK1GAVuznR9MY
uZo6Uu9hKDGj8HLtncm9uQGlYasj6hCgzEYaOAoH9CScS1qy+ZoEz2T4HPH2UwnD
g7+Q1BdnjTH2AJQZ9N6+iNjZTQH+9hClb9CuajbFaW8wdS0zk32+8+JOlD8zL+Sa
eDQKI8rFAE1xBp2TYLcy0k4WmDuB2v/jPdOBpnYYvBkIi2ZRHzu742cJO7T+JSXh
PDC1tfgT0G8IRp0C1sEhrRAiGsTINtnPke0NW94dwq/6aUKjEN5WBOojjqRshdUc
8JbXPRKhJZmaDqk517XxcFh8kYkpg7qkik4IviLQDQi4Cggv4zmULFJkc2g9Warh
Utp5Vzim/W5iQ15ODKmzw67TJUd/2zLiWgR6q65o3I48WrO676+xn6nFgEeFmL9y
cEeXnsC+4q6exlueIlHMlGVlc66xx72UX6SxTsBTPWTWmt9gegn+owUiYZZEHeBL
8h81VUlxEqqWEqm8uULRVKNg8tcWMWIMVZs48n1KGP0hFA1wyPg=
=ydRi
-----END PGP SIGNATURE-----