-----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.3.3-1build5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.5.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, 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, coq [!s390x], libcoq-ocaml-dev [!s390x], 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, graphviz
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-coq deb math optional arch=amd64,arm64,armel,armhf,i386,mipsel64,mipsel,ppc64,ppc64el,hurd-i386,powerpc,ppc64el,riscv64,sh4,sparc64,x32
 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:
 8a3b7e075ba6f64f0ab88251b0450b1e3a09d23c 5807572 why3_1.3.3.orig.tar.gz
 d76b963b2d28516837c971608bdeee556b617769 18612 why3_1.3.3-1build5.debian.tar.xz
Checksums-Sha256:
 9cc64ae6c64d95e6e2f622fa1d2aaa675e4e1e4a06d234c6fb60da17ac150ad8 5807572 why3_1.3.3.orig.tar.gz
 2197bd74a99910380cacfa6a03a12f0c25000ec94fb8636efabf889072572650 18612 why3_1.3.3-1build5.debian.tar.xz
Files:
 7e189ce7b3ae8e25a12bea87b1629a59 5807572 why3_1.3.3.orig.tar.gz
 1276af91cba9570a3285843188722199 18612 why3_1.3.3-1build5.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmAFeisQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9WM+EADRPCv/OkI3CwIXPFXXQt799ci9KRqTb0CY
pRUIixB8xn1aEgnBPWwDYUULrb/CTy+lmL+n1+G9QkzacrJR+BeYypRJ2SQu4lon
CEQDQMbeGxp8CPcoCj9/vu0IGOllachAZWx3nTSfheKdvsWeybNLAD2PrKncr4Og
Ol5SmiPumZNv65liSIDe+ZWt/oF1yIT/cihpM5RdvTkPMo0MS+w6rNon8qWumkW8
kqZERoKLDfliGyF1U8C/0DTrB+h/qoLCXsIYTZ+ngofXbppGsb08VB82tGEVNpJw
PObeh/onQ4Z96ct45X2CIJPW2SP0l/cAnNUBuwb9dCFPDVE+REKCgo+mVZ+LoU2b
JLg7+IO/cbh7x94boxyZs0c/uJRuEPl3IXcTyIC9EDqkB2mIYL5sULQ2AXXefzs5
GuvO9Db4n30G9sBu2JcmWAYdHncSQ6A2K/iEMnOxOu7v7WcpfVDtcuIcSj0uCE2J
XBOAv9pXqyMqv8JkFgNBofxCvjbfLqvmXqjrW0KUKKVThXF7uqGYaUxOwhFlpItj
ZOCB57DGBFOyaIECwOSv2v9gNTJdWMNUZQYwyK8e181BgZ0cseGGpfLuA6bZZyMx
0CwFm2RXbs0Dm6vADFq6+26Oig+BUk6BMvL+ubdSytz44OEPciYRH6IQrFc4wQJK
JH3RVBSZjw==
=jPMx
-----END PGP SIGNATURE-----