-----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.2.0-3ubuntu1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.4.1
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, cvc3, cvc4, spass, z3
Build-Depends: debhelper-compat (= 12), dh-ocaml, ocaml-nox (>= 3.11.2), ocaml-findlib, menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common
Build-Depends-Indep: rubber, hevea, lmodern, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-coq 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:
 0853726b80e512b443e10279edafc8f591a62f37 6005013 why3_1.2.0.orig.tar.gz
 f3a50b2a60a424c0bae65ece3cc14e61d0fde2d5 18616 why3_1.2.0-3ubuntu1.debian.tar.xz
Checksums-Sha256:
 888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077 6005013 why3_1.2.0.orig.tar.gz
 1afe7921e718cc5da83e040f53be4d3ba10019ff9b2418449362c7b3a26fe6dc 18616 why3_1.2.0-3ubuntu1.debian.tar.xz
Files:
 a9574b33d94c9a4966704c8318489db9 6005013 why3_1.2.0.orig.tar.gz
 7e6579a76fb3c3d85ca8a5af4c68cfc8 18616 why3_1.2.0-3ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl2m1U0ACgkQ808JdE6f
XdnezBAA4ALPHib5sreXuyz8P1g8XElkv8AoIRx00taU3oDppgL2P943qID1/xuE
58Z4TVy3bVyWDmT0wiVb7J7LVdZEoRKXfpM1I2hzt7s99w1BCvxSWaoZPzMWWDll
4FuGClsUbnMTaBykw6HQyy8UYVAx0SXpXJmezGi/6fW7268TypVp56tKPyIvBd8x
1ie0sr0mL4XFugGyJFmQyUMvZbY9fZxwjc6r87nScwoYRxV1AKrLfYSlDwlGeKMa
WZTsgzO4nYjmPRmo+VsLoH5nQknt68IeaCKTpWRn0N7pLEymo1ys4o08b1J5RZQj
WmA7t5wurabhf9MD9v5xswgn755gJLOZ5VExO/hsDkpaypY5+chGeh0TKTXkRsj1
BQRxtaDHICpdcAv8T9G+wvd5Wk1wRHrYVumc2OhtDPNPb2ZxqgALFs6wtCGThkOZ
xS6s+3k3/AB2dWZFkrw8fR0eFE59j8axWu4gyZolKvVysLY8/wwYu2MsJfebMOx6
SU78LyhexwSKWLD/aKZa18j7N46JuBNXpibPmcKoTt8R79M/Qwhx30JJIWalQI9k
4fNJu1R7TbpksnN83R0vrasB/V/pRIBXj4d/0Q8yqi8th493m632fik/crE6ZdIV
RbnNR9nUpQAvCKUJXLmmx8n0HKfUppxRX2Y0HqqdOwIrdvSPMQM=
=Ln/1
-----END PGP SIGNATURE-----