--- Begin Message ---
Package: why
Version: 2.18.dfsg-4+b1
Severity: important
why uses ${binary:Version} to indicate why-examples's required version
of why and why's suggested version of libwhy-coq. However, that
variable is only appropriate for relationships between
architecture-dependent packages; because why-examples and why-coq are
both architecture-independent, binary-only rebuilds (as recently
occurred for the ocaml 3.11.1 transition) render them unsatisfiable.
For why-examples -> why, you could change the dependency to something
like why (>= ${source:Version}), why (<< ${source:Version}.1) to allow
for rebuilds but not more substantial changes.
Any-to-all relationships are easier to handle, so why could simply
change its suggestion to libwhy-coq (= ${source:Version}). However,
given that libwhy-coq, even if technically architecture-independent,
is relatively small and itself in need of rebuilds for various
transitions, it might actually make some sense to keep the
relationship as is and set libwhy-coq's architecture to any. (For
instance, it's uninstallable at present due to a dependency on
coq-8.2-1+3.11.0.)
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.30-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages why depends on:
ii libatk1.0-0 1.26.0-1 The ATK accessibility toolkit
ii libc6 2.9-19 GNU C Library: Shared libraries
ii libcairo2 1.8.8-2 The Cairo 2D vector graphics libra
ii libfontconfig1 2.6.0-4 generic font configuration library
ii libfreetype6 2.3.9-5 FreeType 2 font engine, shared lib
ii libglib2.0-0 2.20.4-1 The GLib library of C routines
ii libgtk2.0-0 2.16.4-1 The GTK+ graphical user interface
ii libpango1.0-0 1.24.3-1 Layout and rendering of internatio
Versions of packages why recommends:
ii alt-ergo 0.9-1 Automatic theorem prover dedicated
Versions of packages why suggests:
pn libwhy-coq <none> (no description available)
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.18.dfsg-5
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-5_amd64.deb
to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb
libwhy-coq_2.18.dfsg-5_all.deb
to pool/main/w/why/libwhy-coq_2.18.dfsg-5_all.deb
why-examples_2.18.dfsg-5_all.deb
to pool/main/w/why/why-examples_2.18.dfsg-5_all.deb
why_2.18.dfsg-5.diff.gz
to pool/main/w/why/why_2.18.dfsg-5.diff.gz
why_2.18.dfsg-5.dsc
to pool/main/w/why/why_2.18.dfsg-5.dsc
why_2.18.dfsg-5_amd64.deb
to pool/main/w/why/why_2.18.dfsg-5_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 536104@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: Tue, 07 Jul 2009 23:50:16 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source amd64 all
Version: 2.18.dfsg-5
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 C code analysis
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Closes: 536104
Changes:
why (2.18.dfsg-5) unstable; urgency=low
.
* Rebuild against latest Coq package, Closes: #536104.
- why suggests libwhy-coq (= ${source:Version})
* Bump standards to 3.8.2
* Tighten build-depends to ease OCaml 3.11.1 transition
Checksums-Sha1:
066031a92dbd76636a925561909a5d9b6cdefc61 1481 why_2.18.dfsg-5.dsc
ae9631d63eacfb2ddd866588065107f209c3ca54 7873 why_2.18.dfsg-5.diff.gz
7cf45573829427b393a3dbc793d46b62c53cd1e2 5706232 why_2.18.dfsg-5_amd64.deb
6c6e09eb49b6b1dc00cd41d21990b360b6bbcbcd 295902 why-examples_2.18.dfsg-5_all.deb
5a683e3b507e44c24cb09542942b5a1b881a55de 685486 libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb
a21c2a6ea2bc88c6bd03398e2895ad0e952f3655 380962 libwhy-coq_2.18.dfsg-5_all.deb
Checksums-Sha256:
b1a797a1cd86002bf4f1d2cf408b638dabb159a73b0564271ad1262f0e20662b 1481 why_2.18.dfsg-5.dsc
ac8d5be18ca0ece4880524f722095a991c1849a0fcc1254a33921764f8ab527f 7873 why_2.18.dfsg-5.diff.gz
d6d56580f50af9196517858cba54500de387168c7a94d9ee1e1146a70e592d1e 5706232 why_2.18.dfsg-5_amd64.deb
04d2d70d93cb254ef6c842433a2dcdb24cf788e547edd4a4ca76ef20194903e1 295902 why-examples_2.18.dfsg-5_all.deb
8da5d3da48fcd3197bc265f0953ea79126fac58f9483eacce3ec480e304cbe13 685486 libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb
af5e06407b2097e19dfdc79caa8be033e692695ea46461a4c2bcb313f44e5f6d 380962 libwhy-coq_2.18.dfsg-5_all.deb
Files:
4060e7109657a0f43f40aceb127d1ed6 1481 math optional why_2.18.dfsg-5.dsc
47ace5e1cb86849796a64aad2900994c 7873 math optional why_2.18.dfsg-5.diff.gz
f680f176b56b24e70893ac33e462f237 5706232 math optional why_2.18.dfsg-5_amd64.deb
ebbc7d902c419494eab7edb44531b91a 295902 doc optional why-examples_2.18.dfsg-5_all.deb
79c3db4a73a84256f41d2ce9db9b85c4 685486 ocaml optional libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb
8b46b7a4d0e77d245d732373bd1ea7de 380962 libdevel optional libwhy-coq_2.18.dfsg-5_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkpTzmsACgkQhryr/xwAx5DiEQCgkrIU8vezfV6D4kD7Ei+fK7Vi
GHoAoNZxdmhu0Dnxl5dQU+4tU2+MClCE
=+QX3
-----END PGP SIGNATURE-----
--- End Message ---