-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 20 Mar 2016 18:44:54 +0100 Source: why3 Binary: why3 why3-coq why3-examples why3-doc-html why3-doc-pdf Architecture: source amd64 all Version: 0.87.0-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf - PDF Documentation of the why3 verification platform why3-examples - Examples for the why3 verification platform Closes: 797696 Changes: why3 (0.87.0-1) unstable; urgency=low . * Initial Release (closes: #797696) Checksums-Sha1: 12cb5233d7de45d8ef06622fb13825be0fec7dc3 2351 why3_0.87.0-1.dsc 7fb0bfa5119ed4ba3502564417846c16eab43565 4459479 why3_0.87.0.orig.tar.gz 826636db96862f279de7bd7df6079d2b8e3027a5 10068 why3_0.87.0-1.debian.tar.xz 334abcab401414cb04635c0c2ce1c0e9de6f42a3 569400 why3-coq_0.87.0-1_amd64.deb 2c8ded0803c94c25d43cd876b315fd7713cd5199 3819898 why3-dbgsym_0.87.0-1_amd64.deb 7eb3025a2555657307f3ebaf396b840f4b96dd1f 724748 why3-doc-html_0.87.0-1_all.deb b7c7d83a14891738a5d51458644f70aa9887428f 1214396 why3-doc-pdf_0.87.0-1_all.deb c57b8b4c67953825f0f4da909f95805f716b25ea 1749446 why3-examples_0.87.0-1_all.deb 445d9b868681ce11ee6f4e980b665060e5c25a6a 7022130 why3_0.87.0-1_amd64.deb Checksums-Sha256: 1341fbea85cd094c71ad68e82ef5247464460fec0698ad5fb76161007245bfd2 2351 why3_0.87.0-1.dsc 60f5a1d7db23b87e532671d6d30b03c4a301b12ba2025c378fc72b7016837b30 4459479 why3_0.87.0.orig.tar.gz 4fa5f972e404dc0366ccc4c1b0e642d740f0f8c7e59e54fa39ba7e835ce6fb4d 10068 why3_0.87.0-1.debian.tar.xz 293d3fd3bb06beb50a5bfbdc9a3966ef78d8a8861c556084c28b7947dbe13288 569400 why3-coq_0.87.0-1_amd64.deb 4769d75c5c57e745cb2362861585ef963aae6527e00caf3cf5bb17a743a7ebcc 3819898 why3-dbgsym_0.87.0-1_amd64.deb 25b424798a55544420c87ab4a727ec1a87140f56ebd8388cba243ca6b8643a1a 724748 why3-doc-html_0.87.0-1_all.deb 0ab12316872c705cc497a9d6da38499cf75f6c75d8b81cd2260c4b4ff86d2482 1214396 why3-doc-pdf_0.87.0-1_all.deb f14eeed8dc216f0a897640a2ebb5746c3e37cb0000f78c787ff79ee2285a5e50 1749446 why3-examples_0.87.0-1_all.deb b4838413fd3bcdaccdd8b82b40d28d735eb8a187873fb0d2d0cfa2d82dfd1dd6 7022130 why3_0.87.0-1_amd64.deb Files: 6c53459ce8e44127861274e02aa1d770 2351 math optional why3_0.87.0-1.dsc e587a45b94201de16529a15c72b978df 4459479 math optional why3_0.87.0.orig.tar.gz 12ef3c31307dba75785e5ef1b9bdc69c 10068 math optional why3_0.87.0-1.debian.tar.xz f480e53211d94d7a99508999cbda26df 569400 math optional why3-coq_0.87.0-1_amd64.deb 383aa10eef335d41821a681f35d4d5df 3819898 debug extra why3-dbgsym_0.87.0-1_amd64.deb a1ea31a33ab409c1bf08dfdf0e6d3e7c 724748 math optional why3-doc-html_0.87.0-1_all.deb 0db041fe2f5d1f81c20555821d8ad1e1 1214396 math optional why3-doc-pdf_0.87.0-1_all.deb 4cc50d60d884707ce8ff3bed0ba1e9c8 1749446 math optional why3-examples_0.87.0-1_all.deb b63c752e65f6afc43be27ab0722bff0a 7022130 math optional why3_0.87.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJW7wVVAAoJEHRcR2bUys3/OsQP/j4cv1WKbLkUk9eEyX4rHRNT 42ILOr/ffA26MDn1pT4KAxoBkaPVlXYYMUJTBjYRFQevkLt/xNxONiocuLWDeXdI itjQYLwCeWZARGj3doi8qBNlODNfjIBS/rBIG2uQI2S2n1yUB7wXEZLk4ZwXn5BS xVCuEUiwv6o561XH/tfYXkLeJjhbEmsvalK3p5lw88yNUH+p8reMM7+8/YsmO/Uf l8SMSQUkQ8KHN3BMIhpu0UmFas3nUMFkCHCYtvx/MQp7wYVvs7C0taC/JTcOkfkR H6N+ld7zYl+Hf20uAXkFxbOPdOluFKmdTOK8MxuHB05Z6bjOTLGwjVCxQ5cP1jFD TKzr5eFs1vt+/oygTnQgwOgiuHJNIHGPBj9uFzIN7RdHZpDhZmZP7TIaty4aait7 0vj09g3w6zS5YS6aUbQUuYspJsyZqPh+4U8HfSNrfhDX+ZMN+cxqIQnVupQlpA1J uvG3zLa5n3cXvIGnKdvqFjabnF+9wLG8lmE8BAcDX9Js5kEli8qMtB+O2j8mgduU vjvpseafP4u4L9tZ3R7kZwVqxeTJHOYR025mydmNQYhNdxvoFaUklkj4riVFGm3d IcpKQLxeQv7rYbkpKVxVNF9o72ceA8LIVAIQxEVwvLX9oePIAlz5zm3k42n+bo09 0U8P7rfXPoz2B8oU8br1 =QZOs -----END PGP SIGNATURE-----
