Accepted why3 0.87.0-1 (source amd64 all) into unstable, unstable
-----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-----