-----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: 0.87.3-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/why3.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, coq, cvc3, spass, z3
Build-Depends: debhelper (>= 9), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, tex-common
Build-Depends-Indep: rubber, hevea, lmodern, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended
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:
 7501ee83ffa8b738f075efbeb0f134c16d7a3c08 4501588 why3_0.87.3.orig.tar.gz
 868944fec94810742407c3a8190d3d17743b7683 12404 why3_0.87.3-2.debian.tar.xz
Checksums-Sha256:
 6a8ac5539a65a5e2c63f46e3d8f9f69059b931e261fc4caca879d218b8d9c9ba 4501588 why3_0.87.3.orig.tar.gz
 d40cc2684ba42980fa8f1240c5527a2a43939a03c47bf32298cebf3187b1d58f 12404 why3_0.87.3-2.debian.tar.xz
Files:
 ea24a4877ca09e2ec4fff19d5f4d35c6 4501588 why3_0.87.3.orig.tar.gz
 b102abf8c4c1e5c2b0dd3faebd296e40 12404 why3_0.87.3-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAliDv6sACgkQdFxHZtTK
zf8K7Q//XX0fHbnxKtc0+8b6WAt5ZLdgHlt+MbNPzRcIYkGKw2ZkV6c29bqWTpLi
oaudm8mn0yyBiEdAr37OpnEeEKHmEcSdOXw6a3PuXQZx+SzUk70Ix4SJdvlR3wjg
CxESvcqVqIhMCpY9AIqbo4/eQenP48lhAruVth6kAp/+E6MluDk1uHdASL666DUh
52DUHR7UeedeHti8AWClDoo0gFk3hS6KgNIi5dftS0+NICg2r5WRp0Po37aI3zTT
G/2IpapHl6pryibClTExL4kPUc+sEnQ7aukov6A582nphj5xQhy1Dos4KDeHlStu
fsO1OA1FO4rSEa2nEYfHx2nsbL5IUxXJnf3kMe6/eYpgNq/d36NQS3RNFaHjh8db
kyhQNp5xssOOmE0hIHy07DJ2JJa5gBy1bWyyc+2Kh3ikLjdPkBxX+e21Ny6ZCdid
5Yatg90GWzEXAPvtQRHdfkETQAYcO5vQG9TY9ZycILrMYSHYeAUAttyZJql1J9Dr
jn56wsRlpLMNyQZbcSh9R3RQUS3oWyMgFVVtoIoRbaO8mmlAPN93o2c5PwcQ7M7q
Aa8ra0aaBMoa3Tff1m8BwRkJ7VSnCZjgDrfiPPPPWSOCebuMYAVEK4Xg4+kjHwiO
Xo6pUlNvtL2XGGB1Ep4FHJkvRXdtQH0Eqh0AkOctCBj02XJ/S4w=
=pxDB
-----END PGP SIGNATURE-----