Your message dated Mon, 19 Jul 2010 11:47:11 +0000
with message-id <e1oaoor-0004sq...@franck.debian.org>
and subject line Bug#589359: fixed in apron 0.9.10-5
has caused the Debian Bug report #589359,
regarding doesn't build with libmpfr-dev from mpfr4
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 ow...@bugs.debian.org
immediately.)
--
589359: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: mpfr4
Severity: critical
Hi maintainers,
It appears that you uploaded mpfr4 in unstable without even caring of
informing the r-deps of libmpfr-dev or the Release Team to coordinate
the transition with them.
mpfr4 (3.0.0-2) ships libmpfr-dev which is also shipped by mpfr
(version 2.4.2). mpfr and mpfr4 are incompatible in several ways.
Packages using libmpfr-dev in their build-depends are going to start
FTBFS'ing soon.
The list of reverse build dependencies of libmpfr-dev is:
mlgmp
gpc-4.1
lcalc
seed
gnat-4.4
gretl
gcc-avr
gcc-snapshot
mpclib
singular
ghdl
genius
gcc-mingw32
wcalc
mpfi
apron
gcc-4.1
gcc-4.4
libucimf
libgmpada
gcc-4.3
fplll
gcj-4.4
gdc-4.3
sagemath
"yay"... we are going to have fun!
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: i386 (x86_64)
Kernel: Linux 2.6.33-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
--- End Message ---
--- Begin Message ---
Source: apron
Source-Version: 0.9.10-5
We believe that the bug you reported is fixed in the latest version of
apron, which is due to be installed in the Debian FTP archive:
apron_0.9.10-5.debian.tar.gz
to main/a/apron/apron_0.9.10-5.debian.tar.gz
apron_0.9.10-5.dsc
to main/a/apron/apron_0.9.10-5.dsc
libapron-dev_0.9.10-5_all.deb
to main/a/apron/libapron-dev_0.9.10-5_all.deb
libapron-ocaml-dev_0.9.10-5_amd64.deb
to main/a/apron/libapron-ocaml-dev_0.9.10-5_amd64.deb
libapron-ocaml_0.9.10-5_amd64.deb
to main/a/apron/libapron-ocaml_0.9.10-5_amd64.deb
libapron_0.9.10-5_amd64.deb
to main/a/apron/libapron_0.9.10-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 589...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated apron 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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 19 Jul 2010 13:22:45 +0200
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source amd64 all
Version: 0.9.10-5
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Description:
libapron - runtime libraries for APRON
libapron-dev - an abstract interpretation library
libapron-ocaml - runtime libraries for APRON (OCaml interface)
libapron-ocaml-dev - an abstract interpretation library (OCaml interface)
Closes: 589359
Changes:
apron (0.9.10-5) unstable; urgency=low
.
* Add mpfr_random.diff and rounding_modes.diff (Closes: #589359)
* debian/control:
- add myself to Uploaders
- bump Standards-Version to 3.9.0
* Install upstream changelog
* Switch source package format to 3.0 (quilt)
Checksums-Sha1:
05256ddd1afb409545e2cc1d3ade45d769d9d25d 2102 apron_0.9.10-5.dsc
cf01d4de75962d9640296117e7faac6d8de3e961 10196 apron_0.9.10-5.debian.tar.gz
e74b43818de51f92247ad166e77fb5acd8efff84 684316 libapron_0.9.10-5_amd64.deb
9b49c2dec4b0f52fd7c31a42db6c74f6659d2eb9 192314 libapron-dev_0.9.10-5_all.deb
0bfe1db65197189b0f69f1148afeb5d7d5d15862 88088
libapron-ocaml_0.9.10-5_amd64.deb
997f41060ecc8ff82e26d99a1a5ebdbd9412aa02 3373310
libapron-ocaml-dev_0.9.10-5_amd64.deb
Checksums-Sha256:
64b8b17bcb292c094c8b77ea5a27d1086b764e859a99f80e45f265915e31b768 2102
apron_0.9.10-5.dsc
9662362c013136fd2311650bd809d366948ea76157a3c021a5c9a3d8aea22fb9 10196
apron_0.9.10-5.debian.tar.gz
5231869991a794d96df8cdb116621ff1704bfe18e7257cb82814d5bfc1ff61ef 684316
libapron_0.9.10-5_amd64.deb
ede47835cc9a07b3e22a65043c35fef278c906de40c48b30759bd539285db156 192314
libapron-dev_0.9.10-5_all.deb
88c954ffba60af4cfb2028ddbab66d56934fd7ce5e7180d4888d1cd576506b6a 88088
libapron-ocaml_0.9.10-5_amd64.deb
7b434f53b9b8796c8768b052e076b2b5f5513d041a52e9dd3bad3a23a816ec66 3373310
libapron-ocaml-dev_0.9.10-5_amd64.deb
Files:
5879eb47b864a915dc61fc1135e464f3 2102 libdevel optional apron_0.9.10-5.dsc
7a2543407bcf11b323ec0acf90c24dd4 10196 libdevel optional
apron_0.9.10-5.debian.tar.gz
f5960addfbcc2e652e25728ded90b9b2 684316 libs optional
libapron_0.9.10-5_amd64.deb
b5f3e954e68ff4bc5f2204d309679f0b 192314 libdevel optional
libapron-dev_0.9.10-5_all.deb
291f7bc38e486183b71c484765d717cc 88088 ocaml optional
libapron-ocaml_0.9.10-5_amd64.deb
4f3de38cae3c9f7a55829c300a5d3c2c 3373310 ocaml optional
libapron-ocaml-dev_0.9.10-5_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJMRDlQAAoJEHhT2k1JiBrTT9YP/0kZ2Gaf4xWcNgGWdPjRXHi+
a3X1dJAD1f1NWlV3vt94WtZw+lO08FnDdUgIt+wbztHCO0anvlOooyg/bwF9nJHG
3IhGd5uQwQR4uLne2ONeYjyNH3Mj6uxPSFHdjB3t/WM460P4N3Bw1dbGf68krMia
kkzS26WEAg/C772y63NZaSpeiOYrVRZnE+w2LGQvp6T3REs88I2qU4iQzLc//Qow
fzJCeG2th2SsuCXoAXYeWz2KWEKDcB/ehed0jiSfrjtgl3LJ5772oj2xfnywTzrI
462xKyUdQt+N4TVMaqQ7rz5WqNLgDuFH+o5jTdBagVicouroY/8oDjJMMKo5F1ay
EicQdyVgh3KBjmIhuhb/9/BSNa9xYlKYgKjKeiRG6wxy4u/TvdV2ySOWfL7ysPtc
dBqaSuNMliy9wGhlewoxF7kncAZERaT/xfvR4uAa0B8TIQnsWG1WJRlqsk9SnZq1
bJGgyCi2ptB/T+r5/0kNWwLLEg6SU3wHbT1dA87bzIJ61bNx2gUIyU8QxSjDy409
4oXfPW1e9PTm06iLrknDa1Oq/SpmuU+3znQzTpajeZc/65+0TJzjBZLUT1Ozu3M0
86rI8F56XthfkYF+IF4Gqms3dfDwN0NjXx8jqNGqySOmAiYF1sW4aJZPiIPMJQ0K
AEBza9nORckF13DD9sK4
=MjUR
-----END PGP SIGNATURE-----
--- End Message ---
