Bug#730526: marked as done (why: uninstallable on sid)
Your message dated Thu, 13 Feb 2014 21:23:01 +0000
with message-id <E1WE3kL-0001dy-Cq@franck.debian.org>
and subject line Bug#730526: fixed in why 2.33-1
has caused the Debian Bug report #730526,
regarding why: uninstallable on sid
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.)
--
730526: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=730526
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: why: uninstallable on sid
- From: Johan Gronqvist <johan.gronqvist@gmail.com>
- Date: Tue, 26 Nov 2013 08:01:00 +0100
- Message-id: <20131126070100.2353.48466.reportbug@laptop>
Package: why
Version: 2.30+dfsg-5+b1
Severity: grave
Justification: renders package unusable
Dear Maintainer,
* What led up to the situation?
The package frama-c was updated to a new upstream version in sid, but the versioned dependency in frama-c was not updated, which makes the package why uninstallable in sid on amd64 (and others).
* What exactly did you do (or not do) that was effective (or
ineffective)?
Try to upgrade frama-c without removing why.
I expect that why needs a new version with an updated dependency.
Thanks
Johan
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (600, 'testing'), (500, 'unstable'), (400, 'stable'), (350, 'stable-updates'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.11-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages why depends on:
ii frama-c-base 20111001+nitrogen+dfsg-4
ii libatk1.0-0 2.10.0-2
ii libc6 2.17-96
ii libcairo2 1.12.16-2
ii libfontconfig1 2.11.0-1
ii libfreetype6 2.4.9-1.1
ii libgdk-pixbuf2.0-0 2.28.2-1
ii libglib2.0-0 2.36.4-1
ii libgmp10 2:5.1.2+dfsg-3
ii libgtk2.0-0 2.24.22-1
ii libmpfr4 3.1.2-1
ii libpango1.0-0 1.36.0-1
ii make 3.81-8.3
ii ocaml-base-nox [ocaml-base-nox-3.12.1] 3.12.1-4
Versions of packages why recommends:
ii alt-ergo 0.95.1-3
Versions of packages why suggests:
ii libwhy-coq 2.30+dfsg-5
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.33-1
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.
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 730526@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 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@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 04 Feb 2014 12:33:02 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.33-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool
why-examples - Examples of programs certified with Why
Closes: 707585 730526
Changes:
why (2.33-1) unstable; urgency=low
.
* New upstream release. This fixes an issue with compilation under
ocaml-4.01 (closes: #707585).
* Bump build-dependency on frama-c-base to the latest version
(closes: #730526)
* Drop patches adopted or otherwise fixed by upstream:
- 0001-Why-2.29-do-support-Coq-8.3.patch
- 0002-Mark-alt-ergo-0.93-as-compatible.patch
- 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
- 0004-Default-to-why2-for-jessie-atp.patch
- 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
- 0006-Fix-spelling-error-in-binary.patch
- 0007-Replace-caduceus-invocation-by-Frama-C.patch
* New patch deprecated-or to replace "or" by "||", needed for more strict
checks in ocaml 4
* New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora.
* New patch atp-versions: update accepted versions of external provers:
alt-ergo, coq
* New patch frama-c-versions: update accepted version of frama-c
* Add myself to uploaders.
* Standards-Version 3.9.5 (no change)
* Add DEP8-style package tests
- why with alt-ergo
- why with cvc3
- why with coq (thanks to Pierre Letouzey for his help!)
- frama-c, jessie plugin (from the why package), and alt-ergo
* Add to the Recommendation of package alt-ergo alternatives on other
theorem provers: cvc3, coq
Checksums-Sha1:
f4c5d685bf0fa930afcca5e423236246eaf84ce3 2339 why_2.33-1.dsc
0758678457c41950b083ca3445e296dccabb4482 3642034 why_2.33.orig.tar.gz
848a7f402d63a7d95912f5e21937366135a9299a 13264 why_2.33-1.debian.tar.xz
608715d1b92c2d673a7a12524bd176f6ebaaf53c 5037064 why_2.33-1_amd64.deb
7ea5db81f7cc3687b9052faf304c8c12cd5fd4cf 142742 why-examples_2.33-1_all.deb
ff17b9475c5cb8d48250817465ea3edd700ecf4a 244356 libwhy-coq_2.33-1_all.deb
Checksums-Sha256:
72066d0cd97709daba79945d49bc1ddf802b57da5ef813d52ca8de08935fe54c 2339 why_2.33-1.dsc
d00b327de28946c5fc573444b7aaf6989f9f347c81256acff102a144f0b30189 3642034 why_2.33.orig.tar.gz
138531c8feee8f16db230aeeadaa0488d646c82d12053addece98a3d498fa02f 13264 why_2.33-1.debian.tar.xz
00259189920a2a22f646ee9448772b9760ca7b6f43d7f8a542ad255dac5570df 5037064 why_2.33-1_amd64.deb
4d5c42320fa200e8e4b224afa293b74ef311cae45d6f3816288bc38354572371 142742 why-examples_2.33-1_all.deb
a941c4598c8b651acbd9ccff58012b04c24cf964d062e844c55508725a85e39a 244356 libwhy-coq_2.33-1_all.deb
Files:
96c4bcdc0d95168251f28cd59f82fae4 2339 math optional why_2.33-1.dsc
a9e04b11bf770581c59230809223e7ab 3642034 math optional why_2.33.orig.tar.gz
5297e9a370c571595b7976be3d367e05 13264 math optional why_2.33-1.debian.tar.xz
9e61a3d6486e29401e21e00b25851526 5037064 math optional why_2.33-1_amd64.deb
60af57564d06e8fd28fb80d65258b844 142742 doc optional why-examples_2.33-1_all.deb
6d89ada756dd30b780b527d414f20073 244356 libdevel optional libwhy-coq_2.33-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCAAGBQJS/S7mAAoJEHRcR2bUys3/m2UP/iR7SL3yaaqMstqRfIb+yCSo
qKKvqgYgXFKB/6zp5uUS1lOrBl4B4oIBqASsW6dTrTDmR9vbhPciK1O68MZtQckB
stOwWv/6WvCFkJYB7YrvbGvJnV2RVk5qgN1/dkbm0rSridQQ0oo0AdKY/xVeQ+MI
krmWqjJfAthaUeUkzvB/xyw8DdLLs2OzS/3eE+f2Qweoj02Q42wW+iw+RIX6RlXT
6P+kEmc8qmtHw/9p5IvalshS3mlsAlFdSvhQxs1s2AT2wOPeCE58g73pMLQUG8wn
qGmOZP9BKLqSfrLHflxWmiGmZm6t7dIrChamxQUld4C5ft80iSbK4WyaC9X9f8mL
YpBhBgPdLH3FbnlMuGlcHS7rzH62eCpf8z3mIam1389T8R64kWvs4r3Xgs2u6YDq
PFnaYfJ2w1M6vzv3xFQVxmzqunCIX8gHzbq7tiNWp05zrlI57VzzjmgtiC6Xioti
waekbaZVJ7UsLPPPPm+8GleV9SVrliFpw5m/TBfGwKj61BCtPdoh99TMQQWna0g0
ea0hd2FcYrSQEPTkFJJKQxhYlUnAPmw1WATM/BuYPkBOQcWTYEkirfjWfuIqPQXq
jGFuz25w/yqoeAbn9waYSDVxMcR4v01cfg4KcT1nbfLVBWiPsQffbOSaOJln3+Pc
TUc3YyD88eKJ+Uo4sgfH
=cZym
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: