-----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.4.1-2
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.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, 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:
 6222ebede22bbdd4d15ecdbea824c0814fa4e671 6305011 why3_1.4.1.orig.tar.gz
 329e6f907f33f887c46cffcddc3eecbf885e0b8a 20424 why3_1.4.1-2.debian.tar.xz
Checksums-Sha256:
 580eec4d9af0bd4f37ebc34e1fa82b3edbed3b2f0cd0e907b1f9a94dfff51ee7 6305011 why3_1.4.1.orig.tar.gz
 c8983eb515b88691da787e05a5c9c1c784cb66db930d2fb1ad4d5b6d1bcc2e3a 20424 why3_1.4.1-2.debian.tar.xz
Files:
 4710c10b5cfeb63950f3cd12b5d91a49 6305011 why3_1.4.1.orig.tar.gz
 0731555fb308e60761bd60074dd52737 20424 why3_1.4.1-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI2HNYACgkQdFxHZtTK
zf9f0A//Q5WWwDj37o5EtpyTlviLAQyjA4d6mkOpDBFTE2tgMJpiuWDx/JAlAe5J
fPhHOfiRRY5BuHsnJqx6LCkVZLdc/ibpw12bxK1klv9rNot8i2TWNozJ7h3yY1h3
dmEbnFj5rTQw8Hcppl2+YWtSXEvsG9e0n7zZTJ+JrFGCi3B6AqTOHS2QkaQQ+3qo
Fa1pSVrTfOlt2q13Bn/AJHRxtu8TfW9YtarRL4upy6a2fpX8lPAIRHGtVOHbU1z9
HtHLdu7caEPxz3a15gMM3RkviaNq/tU35/annF3kmNQhLSuWN3Ent/IJA6uazv7c
nj75pgjnwQaeGqJxGtMob0uZ699O/Bu1JrY1SXMG8Bqb4hC+7evq2gQrISZwpOyy
7+yzjM6vcuUoihEsJn9zROd4NzW7mQhIQIdB6wMBDvpYtI5vlcqlPsdDvq6SbzBB
JGSR07EShN9ssFoq4EhyhtJbE89egPRuUIiExsjzVMfjbaO+GCngUZozfjj3VuXk
POrfj4fjGRADTx91e7WsOFMJv3wk95zaDHvJVjRo6Ko2ZahTCTt+ztbmzdKUn5uW
eEYzPZ5Up0Fyc8daBZpAy7iiUd1h5uIxdqnTc4F0j5M/edli2ZiUl2YaJdZ3qGGw
ufuIX3hzy125LpfQsqOIQ3cbM2uJORJ9rguCXQCkEmGlGKOQhBo=
=1HT6
-----END PGP SIGNATURE-----