-----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.6.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.6.2
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, 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:
 1f8f40b4ede2bb1aff5386cba0c6a0bfc11a4092 6850062 why3_1.6.0.orig.tar.gz
 157b30cfb1ca187474c1e95c60dc30ac803bc261 18360 why3_1.6.0-1.debian.tar.xz
Checksums-Sha256:
 845bccea41d271a0ad70709ce957b397d091ec115b88a3e84c487b923d19271c 6850062 why3_1.6.0.orig.tar.gz
 94d0ee921fdb93d164dcac6da952fcd855f05a1166ca3d7fa4eab8ca80bef0c4 18360 why3_1.6.0-1.debian.tar.xz
Files:
 6b449abe1e485d6f3c12f81c59fc186c 6850062 why3_1.6.0.orig.tar.gz
 d42df719d11fbf5db922c63be258f0a3 18360 why3_1.6.0-1.debian.tar.xz
Dgit: 95e5434a027aa226f54baabf6520fcff48bb672c debian archive/debian/1.6.0-1 https://git.dgit.debian.org/why3

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT6rP0SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBT7gH/3WK52DmxJzKRZwykIy8asYoNZ0w2M1/
9saumXz8foFOVC6LnedSU3Db/g+X3gyqvgDH1HniXbFTvD195Ry+6u75qHUJ3p/D
9eo4DzcZid1HhoAwfOAqzgKFPjtEiJCJPleqrkNJzt5LEqp67Cg0XXgF7DBtGMuA
cCgc6hxPAq4WpQJRUEhs7DrAWaUSZl0kpCnjjsbSCxvbyUW1epYX2t2VCaylY4Xw
gF9HoD8Rmezax1YWYNmlhlLIPaZvotYHprnsc70K/KyQnKxnHw/f3M1L82Mw39/N
DjFI0W5ne4EocUmBg0m+DzU+WYEgJ19M/o0IpDuwYgXVdHlWB2S1A+0=
=tXEf
-----END PGP SIGNATURE-----