-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 1.7.2-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.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: cvc4, ocaml-native-compilers, spass, z3
Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml, 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:
 0d28c008f0427acc38af6a1f371dd85336dcdd55 6321645 why3_1.7.2.orig.tar.bz2
 761db1462de28010a12ac553d54546cac3dbc5f3 18584 why3_1.7.2-2.debian.tar.xz
Checksums-Sha256:
 7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305 6321645 why3_1.7.2.orig.tar.bz2
 de0b8ac19b206fb73fb302d78924d70dedc2248a42f3ca19c8dab15a99b9760b 18584 why3_1.7.2-2.debian.tar.xz
Files:
 8db707cff5cc897d058011794985395b 6321645 why3_1.7.2.orig.tar.bz2
 502d3ff132989d1dc5bdedeebd9a9694 18584 why3_1.7.2-2.debian.tar.xz
Dgit: 0b5f26f0372505b756aa583b94654416ccd09092 debian archive/debian/1.7.2-2 https://git.dgit.debian.org/why3

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAma6nkwSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBoQ8H/0XEYUMiYQ3INuREINmGhvp43M2Awz/g
ba7yBh4+SYMuM4WGy2SU9zAeM/AEGrdOI4Mgb5Gpcq/BrrRtsAC2ayR/G+q3/EYA
2JUHhOVkO+DZpNi2+Kzm2SwNF9BjlTXlYq2ku9qmU6x2GXCl0lVlP85XYXcPXpG/
q7yu6IOiyD6N7ZoM3pIgCmDs0f6sHgvEOF0s7GF848aHV2nNmMiHaq8MojUKYTkf
aoMRtJKuIqTFo2oui6udNuB8Vu+UEzVC+yZC6hTVl72MwREYkAN2+zWzTSUsaOjb
beHvM8fZQRXWA4MHYKTKjLyxoTbic6lstWnN6X0Yz9fS5xfI3OIVpDY=
=3mqX
-----END PGP SIGNATURE-----