Bug#522440: marked as done (conflicts with libwhy-coq)
Your message dated Fri, 03 Apr 2009 21:18:00 +0000
with message-id <E1Lpqm0-0003Fh-PM@ries.debian.org>
and subject line Bug#522440: fixed in why 2.18.dfsg-2
has caused the Debian Bug report #522440,
regarding conflicts with libwhy-coq
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.)
--
522440: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=522440
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: why
Version: 2.13-2
Severity: grave
why can't be unpacked because /usr/lib/coq/user-contrib/Why.v also
belongs to package libwhy-coq
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (990, 'testing'), (900, 'stable'), (600, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.26-1-xen-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages why depends on:
ii libatk1.0-0 1.22.0-1 The ATK accessibility toolkit
ii libc6 2.9-4 GNU C Library: Shared libraries
ii libcairo2 1.8.6-2 The Cairo 2D vector graphics libra
ii libglib2.0-0 2.18.4-2 The GLib library of C routines
ii libgtk2.0-0 2.14.7-4+b1 The GTK+ graphical user interface
ii libpango1.0-0 1.22.4-2 Layout and rendering of internatio
why recommends no packages.
Versions of packages why suggests:
ii coq 8.2-1+dfsg-1 proof assistant for higher-order l
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.18.dfsg-2
We believe that the bug you reported is fixed in the latest version of
why, which is due to be installed in the Debian FTP archive:
libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb
to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb
libwhy-coq_2.18.dfsg-2_all.deb
to pool/main/w/why/libwhy-coq_2.18.dfsg-2_all.deb
why-examples_2.18.dfsg-2_all.deb
to pool/main/w/why/why-examples_2.18.dfsg-2_all.deb
why_2.18.dfsg-2.diff.gz
to pool/main/w/why/why_2.18.dfsg-2.diff.gz
why_2.18.dfsg-2.dsc
to pool/main/w/why/why_2.18.dfsg-2.dsc
why_2.18.dfsg-2_amd64.deb
to pool/main/w/why/why_2.18.dfsg-2_amd64.deb
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 522440@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <dogguy@pps.jussieu.fr> (supplier of updated why 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@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 03 Apr 2009 22:03:21 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source amd64 all
Version: 2.18.dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description:
libjessie-ocaml-dev - Jessie library for code analysis
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Closes: 522440
Changes:
why (2.18.dfsg-2) unstable; urgency=low
.
* libwhy-coq replaces why (<< 2.18.dfsg-1), closes: #522440.
* why now depends on libwhy-coq (= ${binary:Version}) and why-examples
on why (= ${binary:Version}).
Checksums-Sha1:
6348698407762e70a4677368036fe0a8dc546dd9 1452 why_2.18.dfsg-2.dsc
adc184d8ed7c5e17c315b2397174e0ec308db879 7405 why_2.18.dfsg-2.diff.gz
af3aeaaf2c5eb227bacd279810be1b8360df6aed 5692960 why_2.18.dfsg-2_amd64.deb
667a030ee97188af692f09236705fe4cda5fd657 293522 why-examples_2.18.dfsg-2_all.deb
cb87a4d4bfcb4c429ef4198dce22f80d9ea40f9b 672950 libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb
6a88632f8b7b241000ffd51b23d9ea42e275ed58 386510 libwhy-coq_2.18.dfsg-2_all.deb
Checksums-Sha256:
46d82f6a52b511b89eb284499365db900ef0e94c805154b9a38dc7f6df23ca83 1452 why_2.18.dfsg-2.dsc
fdefaba02c5eba6ec7f3f3771778c50ad5b1dbb5c3ab30ddd354cfb22e348670 7405 why_2.18.dfsg-2.diff.gz
aeb00699c7b28b8f94152cbd57fe3a513b786dec9a110a6dd109973fbdc19c8b 5692960 why_2.18.dfsg-2_amd64.deb
576fd1106046d11108549cad0832d756d42fd4d107422a8526bfaa33e6cfa49f 293522 why-examples_2.18.dfsg-2_all.deb
4d768e3557cd1aad9e5d0c679bf5115094f64d7e675dfbcf0f311367b01ea271 672950 libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb
5e2fa554dbb6364972dfaeab2463505c176ec890fb1f7cfd1845be1c259e2475 386510 libwhy-coq_2.18.dfsg-2_all.deb
Files:
f6a25ef2ae99bf106cadc730d2eb3276 1452 math optional why_2.18.dfsg-2.dsc
3b218f1444263c65ce07e2294c62a100 7405 math optional why_2.18.dfsg-2.diff.gz
b11cf07b78f36c45930717fbd5ce8570 5692960 math optional why_2.18.dfsg-2_amd64.deb
caf462227fcd517afd6c2127645f6aad 293522 doc optional why-examples_2.18.dfsg-2_all.deb
cd3d84dbef542e4fc6de93988f63b92f 672950 libdevel optional libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb
9a622ae387c2b74f29dc97f463b1c0ac 386510 libdevel optional libwhy-coq_2.18.dfsg-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAknWcckACgkQhryr/xwAx5BGYgCfXi8Hj42vzn2PIlZ2gDAA4AzD
E+gAn1XAa0WyoUP9OUPfeOg6Fu2l5vqM
=gD79
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: