-----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-1build1
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
 c931e3feb8613fd79abfad7267fe5027737ccc47 18500 why3_1.3.3-1build1.debian.tar.xz
Checksums-Sha256:
 9cc64ae6c64d95e6e2f622fa1d2aaa675e4e1e4a06d234c6fb60da17ac150ad8 5807572 why3_1.3.3.orig.tar.gz
 39683d09ff51717ed4e180cd993300292e6384f51e8229dd61efcf3a7f2dbe72 18500 why3_1.3.3-1build1.debian.tar.xz
Files:
 7e189ce7b3ae8e25a12bea87b1629a59 5807572 why3_1.3.3.orig.tar.gz
 18f96368e7ec9150aca49bd32a5b89bd 18500 why3_1.3.3-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl97E7wACgkQ808JdE6f
Xdmzew//Z2idEDK0iOLulDghQPjY9LR40xZmSh1nwzN25zF17av2r48LhI0ngbmP
cbIckluMawx9yp9L//wqUfqDDZtUS+U+xQhAMzpwRdWwIZ1AMHkyfzwEQo8knMGP
TzlkudTpQ3ayDciM4AKL1+05ZrRUWFYbUV9buGUY4F5C5BHp4BGRZfmp2asiheOI
q247dIlbLZWy1VgC9WM38A6S5uUs7dEzsvDu/u9DeqNqFj29JRJjdZs+i3Xh93P6
YN3bsjh3x8NOSFL6/PFxp3R0+beIL2cWhuQevcQRUci6Kgrxe/dmAubsngdGb71g
NnbGLi+nvq3mPpwM40aXu+IC7O146DMtIpZoMOuKnFcEK3MFlZPtIEFfOJVrekQG
8XUrXm6/pFiSyyFnVI38vzvnU2xWmhWl+6S6SoPEcEBw+8Q0GIs9Xx7L1CJgY3XC
EfIVcSOD43UUYkjUKsFJemAEKvyZp+EGhTM+f78V1HopEmVjg8uhG6/J64BVwCH8
zkjjo7ccSfyWSRsryz9otFaa8QFKbIrCC3QcNeVSw4pluZTs0IZrDnDDBEVHPyP6
C1z87RRz1O6JS5nUdvqmXUdAguUiuSvQcW8HCpcQY5XeD3SNrYMM/QC0A/iCatjc
ZSletNKcKBS+XtYviDRZoG/LDfM4TIEJybaVSL0sYUmt32MANhU=
=DLc+
-----END PGP SIGNATURE-----