-----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.1-1 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen 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 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 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: 2e53da58269f5d85b6d96e56317769a3f411dbbe 4480316 why3_0.87.1.orig.tar.gz ff11b4d499e26fb9115c41bb9e1d4cb631234386 11876 why3_0.87.1-1.debian.tar.xz Checksums-Sha256: 8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb 4480316 why3_0.87.1.orig.tar.gz ca8c38b1b7475864720234b7287e5e9d8ef2775884c2ca9cc97fca2fe658f13a 11876 why3_0.87.1-1.debian.tar.xz Files: f1780c8579e6fec9a7ece3ecd05a01e2 4480316 why3_0.87.1.orig.tar.gz 9958c3bcba586a58d0bdd4c65782cb55 11876 why3_0.87.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXWG2GAAoJEHRcR2bUys3/cpsP/1eiiHLMSq8P6ho8xaSB70nq qIQeJA4HthXYTYAYthszUrpnUxcHjIzalmRdfymx4BExTvyxJGI1uWu788oeN00Q 3b983KAB0pCs4yzx7ObgJ+7t0n1fvVSvIc1nUK67XPpL2ZhnhPedFroROTya/7oU liYiLLXs8tYV5B0IsHjcNL5cSOVZhA88ovh2erFV/TrZVp/7y9CKJr/+4zrqFybI /xcQO7EnhUhgwDmrrBvPDxVaiNcPBbWMB5q9+lw0ZiatNlgiVC79XsvUjv/5L4wa 1ckIQly29gyaslpv8QfWKIQmnyBh0RhzembMFcT9gbpbHpvY6AG1t6qEAPMn23hy SPjd9YvXcf4eh8fCvzm7HE8+gbfa9K6SVaIasYxkj66tSIF0+zrcgXOA31ot3yyz 2uD1EeI+P39vfonu3RpqTdftQTseD6ffr6CK8JjbrU3XhHqAj7XLs+XLX3Bn7euD sEPL2sm7Xgh9RfwwUyfcKl150i+g37DKz1CMngpexfCPvAZSzF5TaqJSE39TzNjT b5Jvrqib+/ETD5jxz/bm//ZoAX87vJ+hu1Z3CuIGWOCIBX7R5ehzR7+dYGaFTqF+ yDHRnSoqTrsf4GQZlglnANIBkalDdwKGZJ7mTEhcbpEsF99M+QobOPImGyX6hLup 0LDXEY5NggU61q9qnTag =0JqF -----END PGP SIGNATURE-----