Bug#797696: marked as done (ITP: why3)
Your message dated Mon, 21 Mar 2016 08:01:06 +0000
with message-id <E1ahulu-0005Zo-TR@franck.debian.org>
and subject line Bug#797696: fixed in why3 0.87.0-1
has caused the Debian Bug report #797696,
regarding ITP: why3
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
797696: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797696
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Hi,
The why package has been replaced by a why3 version upstream. You
can find it at http://why3.lri.fr
It would be nice that we'd also have why3.
Kurt
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 0.87.0-1
We believe that the bug you reported is fixed in the latest version of
why3, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 797696@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated why3 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----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-----
--- End Message ---
Reply to: