[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#715070: marked as done (Broken library symlink detected in libapron-dev)



Your message dated Wed, 03 Aug 2016 16:19:36 +0000
with message-id <E1bUytM-00054a-25@franck.debian.org>
and subject line Bug#715070: fixed in apron 0.9.10-9
has caused the Debian Bug report #715070,
regarding Broken library symlink detected in libapron-dev
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.)


-- 
715070: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=715070
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libapron-dev
Version: 0.9.10-5.2
Severity: serious
User: debian-qa@lists.debian.org
Usertags: piuparts, broken-symlink, broken-symlink-shared-library

Hi,

During a test with piuparts, I noticed your package is
responsible for the presence of broken symlinks involving
a shared library. Such failures may indicate a significant
problem with the package.

Usually this is caused by a missing Depends. It may also be
triggered if a Recommended or reverse dependency package
owning the symlink target file is not yet installed. This type
of failure mode needs to be eliminated so that other symlink
problems become more visible. In this case, the problem can be
resolved by creating a trigger for the target file. See the
dpkg triggers documentation[1] and an example on the net[2] for
implementation details.

This is being filed as Serious because it represents a violation
of Policy. Section 8 states "Packages containing shared
libraries must be constructed with a little care to make sure
that the shared library is always available".

A link to the log containing the indicated broken symlinks can
be found on piuparts.debian.org[3]. Search for "Warn: Broken
Symlinks" to see the failure point. A log showing the broken
symlink as an error is appended.

The log contains the following broken symlinks:

  /usr/lib/libpolkaMPQ.so
    -> libpolkaMPQ.so.0
  /usr/lib/libboxMPQ.so
    -> libboxMPQ.so.0
  /usr/lib/libapron.so
    -> libapron.so.0
  /usr/lib/libboxD.so
    -> libboxD.so.0
  /usr/lib/liboctMPQ.so
    -> liboctMPQ.so.0
  /usr/lib/libpolkaRll.so
    -> libpolkaRll.so.0
  /usr/lib/libboxMPFR.so
    -> libboxMPFR.so.0
  /usr/lib/liboctD.so
    -> liboctD.so.0


[1] - file:///usr/share/doc/dpkg-dev/triggers.txt.gz
[2] - http://www.seanius.net/blog/2009/09/dpkg-triggers-howto/
[3] - http://piuparts.debian.org/sid/broken_symlinks_issue.html


----------

Start: 2013-07-05 21:21:48 EST

Package: libapron-dev
Source: apron
Version: 0.9.10-5.2
Installed-Size: 1636
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Depends: libgmp3-dev, libmpfr-dev, libppl-dev
Description: an abstract interpretation library
Homepage: http://apron.cri.ensmp.fr/library/
Description-md5: 16f96b6087ed491a2c7708d5d8fef746
Tag: devel::lang:c, devel::library, devel::testing-qa, implemented-in::c,
 role::devel-lib, use::analysing, use::checking
Section: libdevel
Priority: optional
Filename: pool/main/a/apron/libapron-dev_0.9.10-5.2_all.deb
Size: 197276
MD5sum: 69593e88e4b4970a2fcd67c0e575d221
SHA1: 99567f0270f91fdbd3af944986f73e3fa491f039
SHA256: a90655c195bce8c9d99ba0157323ced36e7c915faf0d8ba3507aa41cd4e216b1

Executing: sudo piuparts --scriptsdir /etc/piuparts/scripts --skip-logrotatefiles-test --warn-on-others --fail-on-broken-symlinks --mirror http://127.0.0.1/debian --tmpdir /var/tmp --arch amd64 -b /var/cache/piuparts/basetgz/sid.tar.gz -d sid --no-upgrade-test --apt libapron-dev=0.9.10-5.2
0m0.0s INFO: ------------------------------------------------------------------------------
0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile.
0m0.0s INFO: FAQ available at http://wiki.debian.org/piuparts/FAQ
0m0.0s INFO: ------------------------------------------------------------------------------
0m0.0s INFO: piuparts version 0.54~201306172307~0.53-14-ge8900a0 starting up.
0m0.0s INFO: Command line arguments: '/usr/sbin/piuparts' '--scriptsdir' '/etc/piuparts/scripts' '--skip-logrotatefiles-test' '--warn-on-others' '--fail-on-broken-symlinks' '--mirror' 'http://127.0.0.1/debian' '--tmpdir' '/var/tmp' '--arch' 'amd64' '-b' '/var/cache/piuparts/basetgz/sid.tar.gz' '-d' 'sid' '--no-upgrade-test' '--apt' 'libapron-dev=0.9.10-5.2'
0m0.0s INFO: Running on: Linux debian-testing 3.9-1-amd64 #1 SMP Debian 3.9.8-1 x86_64
0m0.0s DEBUG: Created temporary directory /var/tmp/tmpq72xEy
0m0.0s DEBUG: Unpacking /var/cache/piuparts/basetgz/sid.tar.gz into /var/tmp/tmpq72xEy
0m0.0s DEBUG: Starting command: ['tar', '-C', '/var/tmp/tmpq72xEy', '-zxf', '/var/cache/piuparts/basetgz/sid.tar.gz']
0m1.3s DEBUG: Command ok: ['tar', '-C', '/var/tmp/tmpq72xEy', '-zxf', '/var/cache/piuparts/basetgz/sid.tar.gz']
0m1.3s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'mount', '-t', 'proc', 'proc', '/proc']
0m1.4s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'mount', '-t', 'proc', 'proc', '/proc']
0m1.4s DEBUG: sources.list:
  deb http://127.0.0.1/debian sid main
  deb http://127.0.0.1/debian sid contrib
  deb http://127.0.0.1/debian sid non-free
0m1.4s DEBUG: Created policy-rc.d and chmodded it.
0m1.4s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', 'update']
0m6.8s DUMP: 
  Get:1 http://127.0.0.1 sid InRelease [205 kB]
  Get:2 http://127.0.0.1 sid/main amd64 Packages [6398 kB]
  Get:3 http://127.0.0.1 sid/contrib amd64 Packages [48.5 kB]
  Get:4 http://127.0.0.1 sid/non-free amd64 Packages [84.6 kB]
  Get:5 http://127.0.0.1 sid/contrib Translation-en [39.9 kB]
  Get:6 http://127.0.0.1 sid/main Translation-en [4246 kB]
  Get:7 http://127.0.0.1 sid/non-free Translation-en [72.7 kB]
  Fetched 11.1 MB in 3s (2836 kB/s)
  Reading package lists...
0m6.8s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', 'update']
0m6.8s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', '-yf', 'dist-upgrade']
0m8.4s DUMP: 
  Reading package lists...
  Building dependency tree...
  The following packages will be upgraded:
    apt libapt-pkg4.12 libc-bin libc6 multiarch-support
  5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
  Need to get 8332 kB of archives.
  After this operation, 132 kB of additional disk space will be used.
  Get:1 http://127.0.0.1/debian/ sid/main libc-bin amd64 2.17-7 [1298 kB]
  Get:2 http://127.0.0.1/debian/ sid/main libc6 amd64 2.17-7 [4624 kB]
  Get:3 http://127.0.0.1/debian/ sid/main libapt-pkg4.12 amd64 0.9.9 [926 kB]
  Get:4 http://127.0.0.1/debian/ sid/main apt amd64 0.9.9 [1323 kB]
  Get:5 http://127.0.0.1/debian/ sid/main multiarch-support amd64 2.17-7 [160 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 8332 kB in 0s (39.9 MB/s)
  (Reading database ... 6639 files and directories currently installed.)
  Preparing to replace libc-bin 2.17-6 (using .../libc-bin_2.17-7_amd64.deb) ...
  Unpacking replacement libc-bin ...
  Setting up libc-bin (2.17-7) ...
  (Reading database ... 6639 files and directories currently installed.)
  Preparing to replace libc6:amd64 2.17-6 (using .../libc6_2.17-7_amd64.deb) ...
  Unpacking replacement libc6:amd64 ...
  Setting up libc6:amd64 (2.17-7) ...
  Processing triggers for libc-bin ...
  (Reading database ... 6639 files and directories currently installed.)
  Preparing to replace libapt-pkg4.12:amd64 0.9.8.2 (using .../libapt-pkg4.12_0.9.9_amd64.deb) ...
  Unpacking replacement libapt-pkg4.12:amd64 ...
  Setting up libapt-pkg4.12:amd64 (0.9.9) ...
  Processing triggers for libc-bin ...
  (Reading database ... 6639 files and directories currently installed.)
  Preparing to replace apt 0.9.8.2 (using .../archives/apt_0.9.9_amd64.deb) ...
  Unpacking replacement apt ...
  Setting up apt (0.9.9) ...
  gpg: key B98321F9: "Squeeze Stable Release Key <debian-release@lists.debian.org>" not changed
  gpg: key 473041FA: "Debian Archive Automatic Signing Key (6.0/squeeze) <ftpmaster@debian.org>" not changed
  gpg: key 65FFB764: "Wheezy Stable Release Key <debian-release@lists.debian.org>" not changed
  gpg: key 46925553: "Debian Archive Automatic Signing Key (7.0/wheezy) <ftpmaster@debian.org>" not changed
  gpg: Total number processed: 4
  gpg:              unchanged: 4
  (Reading database ... 6639 files and directories currently installed.)
  Preparing to replace multiarch-support 2.17-6 (using .../multiarch-support_2.17-7_amd64.deb) ...
  Unpacking replacement multiarch-support ...
  Setting up multiarch-support (2.17-7) ...
0m8.4s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', '-yf', 'dist-upgrade']
0m8.4s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /var/tmp/tmpq72xEy/tmp/scripts/
0m8.4s INFO: Running scripts post_setup
0m8.4s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/post_setup_experimental']
0m8.4s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/post_setup_experimental']
0m8.4s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/post_setup_forbid_home']
0m8.4s DUMP: 
  Disabling /home
0m8.4s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/post_setup_forbid_home']
0m8.4s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/post_setup_squeeze-backports']
0m8.4s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/post_setup_squeeze-backports']
0m8.4s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', 'clean']
0m8.4s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', 'clean']
0m9.6s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg', '--get-selections', '*']
0m9.6s DUMP: 
  apt						install
  base-files					install
  base-passwd					install
  bash						install
  bsdutils					install
  coreutils					install
  dash						install
  debconf						install
  debconf-i18n					install
  debian-archive-keyring				install
  debianutils					install
  diffutils					install
  dpkg						install
  e2fslibs:amd64					install
  e2fsprogs					install
  eatmydata					install
  findutils					install
  gcc-4.7-base:amd64				install
  gcc-4.8-base:amd64				install
  gnupg						install
  gpgv						install
  grep						install
  gzip						install
  hostname					install
  initscripts					install
  insserv						install
  libacl1:amd64					install
  libapt-pkg4.12:amd64				install
  libattr1:amd64					install
  libblkid1:amd64					install
  libbz2-1.0:amd64				install
  libc-bin					install
  libc6:amd64					install
  libcap2:amd64					install
  libcomerr2:amd64				install
  libdb5.1:amd64					install
  libgcc1:amd64					install
  liblocale-gettext-perl				install
  liblzma5:amd64					install
  libmount1					install
  libncurses5:amd64				install
  libpam-modules:amd64				install
  libpam-modules-bin				install
  libpam-runtime					install
  libpam0g:amd64					install
  libpcre3:amd64					install
  libreadline6:amd64				install
  libselinux1:amd64				install
  libsemanage-common				install
  libsemanage1:amd64				install
  libsepol1:amd64					install
  libslang2:amd64					install
  libss2:amd64					install
  libstdc++6:amd64				install
  libtext-charwidth-perl				install
  libtext-iconv-perl				install
  libtext-wrapi18n-perl				install
  libtinfo5:amd64					install
  libusb-0.1-4:amd64				install
  libustr-1.0-1:amd64				install
  libuuid1:amd64					install
  login						install
  lsb-base					install
  mawk						install
  mount						install
  multiarch-support				install
  ncurses-base					install
  ncurses-bin					install
  passwd						install
  perl-base					install
  readline-common					install
  sed						install
  sensible-utils					install
  sysv-rc						install
  sysvinit					install
  sysvinit-utils					install
  tar						install
  tzdata						install
  util-linux					install
  zlib1g:amd64					install
0m9.6s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg', '--get-selections', '*']
0m9.6s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg-divert', '--list']
0m9.6s DUMP: 
  diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash
  diversion of /bin/sh to /bin/sh.distrib by dash
0m9.6s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg-divert', '--list']
0m9.6s INFO: Starting install/purge
0m9.6s INFO: apt-cache does not know about any of the requested packages
0m9.6s INFO: Running scripts pre_test
0m9.6s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_test_root_password']
0m9.6s DUMP: 
  Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully
0m9.6s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_test_root_password']
0m9.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/var/tmp/tmpq72xEy']
0m9.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/var/tmp/tmpq72xEy']
0m10.8s DEBUG: No broken symlinks as far as we can find.
0m10.8s INFO: Running scripts pre_install
0m10.8s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_install_database-server']
0m10.8s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_install_database-server']
0m10.8s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_install_exceptions']
0m10.8s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_install_exceptions']
0m10.8s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m10.8s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m10.8s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-cache', 'show', 'libapron-dev']
0m12.2s DUMP: 
  Package: libapron-dev
  Source: apron
  Version: 0.9.10-5.2
  Installed-Size: 1636
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Architecture: all
  Depends: libgmp3-dev, libmpfr-dev, libppl-dev
  Description-en: an abstract interpretation library
   The APRON library is dedicated to the static analysis of the numerical
   variables of a program by Abstract Interpretation. The aim of such an analysis
   is to infer invariants about these variables. It is intended to be a common
   interface to various underlying libraries/abstract domains and to provide
   additional services that can be implemented independently from the underlying
   library/abstract domain.
   .
   This package contains the files necessary to use the APRON library in C.
  Description-md5: 16f96b6087ed491a2c7708d5d8fef746
  Homepage: http://apron.cri.ensmp.fr/library/
  Description-md5: 16f96b6087ed491a2c7708d5d8fef746
  Tag: devel::lang:c, devel::library, devel::testing-qa, implemented-in::c,
   role::devel-lib, use::analysing, use::checking
  Section: libdevel
  Priority: optional
  Filename: pool/main/a/apron/libapron-dev_0.9.10-5.2_all.deb
  Size: 197276
  MD5sum: 69593e88e4b4970a2fcd67c0e575d221
  SHA1: 99567f0270f91fdbd3af944986f73e3fa491f039
  SHA256: a90655c195bce8c9d99ba0157323ced36e7c915faf0d8ba3507aa41cd4e216b1
0m12.2s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-cache', 'show', 'libapron-dev']
0m12.2s DEBUG: Starting command: ['dpkg-deb', '-b', '--nocheck', '/var/tmp/tmpR_QbJK/piuparts-depends-dummy']
0m12.2s DUMP: 
  dpkg-deb: warning: not checking contents of control area
  dpkg-deb: building an unknown package in '/var/tmp/tmpR_QbJK/piuparts-depends-dummy.deb'.
0m12.2s DEBUG: Command ok: ['dpkg-deb', '-b', '--nocheck', '/var/tmp/tmpR_QbJK/piuparts-depends-dummy']
0m12.2s DEBUG: Copying /var/tmp/tmpR_QbJK/piuparts-depends-dummy.deb to /var/tmp/tmpq72xEy/tmp
0m12.2s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb']
0m12.3s DUMP: 
  Selecting previously unselected package piuparts-depends-dummy.
  (Reading database ... 6639 files and directories currently installed.)
  Unpacking piuparts-depends-dummy (from tmp/piuparts-depends-dummy.deb) ...
  dpkg: dependency problems prevent configuration of piuparts-depends-dummy:
   piuparts-depends-dummy depends on libgmp3-dev; however:
    Package libgmp3-dev is not installed.
   piuparts-depends-dummy depends on libmpfr-dev; however:
    Package libmpfr-dev is not installed.
   piuparts-depends-dummy depends on libppl-dev; however:
    Package libppl-dev is not installed.
  
  dpkg: error processing piuparts-depends-dummy (--install):
   dependency problems - leaving unconfigured
  Errors were encountered while processing:
   piuparts-depends-dummy
0m12.3s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb']
0m12.3s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', '-yf', 'install']
0m13.5s DUMP: 
  Reading package lists...
  Building dependency tree...
  Reading state information...
  Correcting dependencies... Done
  The following extra packages will be installed:
    libgmp-dev libgmp10 libgmp3-dev libgmpxx4ldbl libmpfr-dev libmpfr4 libppl-c4
    libppl0.12-dev libppl12
  Suggested packages:
    libgmp10-doc libmpfr-doc libppl-doc
  Recommended packages:
    libstdc++-dev
  The following NEW packages will be installed:
    libgmp-dev libgmp10 libgmp3-dev libgmpxx4ldbl libmpfr-dev libmpfr4 libppl-c4
    libppl0.12-dev libppl12
  0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded.
  1 not fully installed or removed.
  Need to get 8307 kB of archives.
  After this operation, 31.3 MB of additional disk space will be used.
  Get:1 http://127.0.0.1/debian/ sid/main libgmp10 amd64 2:5.1.2+dfsg-2 [267 kB]
  Get:2 http://127.0.0.1/debian/ sid/main libgmpxx4ldbl amd64 2:5.1.2+dfsg-2 [22.8 kB]
  Get:3 http://127.0.0.1/debian/ sid/main libgmp-dev amd64 2:5.1.2+dfsg-2 [664 kB]
  Get:4 http://127.0.0.1/debian/ sid/main libgmp3-dev amd64 2:5.1.2+dfsg-2 [14.1 kB]
  Get:5 http://127.0.0.1/debian/ sid/main libmpfr4 amd64 3.1.1-1 [544 kB]
  Get:6 http://127.0.0.1/debian/ sid/main libmpfr-dev amd64 3.1.1-1 [609 kB]
  Get:7 http://127.0.0.1/debian/ sid/main libppl12 amd64 1:1.0-7 [721 kB]
  Get:8 http://127.0.0.1/debian/ sid/main libppl-c4 amd64 1:1.0-7 [1503 kB]
  Get:9 http://127.0.0.1/debian/ sid/main libppl0.12-dev amd64 1:1.0-7 [3962 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 8307 kB in 0s (31.1 MB/s)
  Selecting previously unselected package libgmp10:amd64.
  (Reading database ... 6639 files and directories currently installed.)
  Unpacking libgmp10:amd64 (from .../libgmp10_2%3a5.1.2+dfsg-2_amd64.deb) ...
  Selecting previously unselected package libgmpxx4ldbl:amd64.
  Unpacking libgmpxx4ldbl:amd64 (from .../libgmpxx4ldbl_2%3a5.1.2+dfsg-2_amd64.deb) ...
  Selecting previously unselected package libgmp-dev:amd64.
  Unpacking libgmp-dev:amd64 (from .../libgmp-dev_2%3a5.1.2+dfsg-2_amd64.deb) ...
  Selecting previously unselected package libgmp3-dev.
  Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.1.2+dfsg-2_amd64.deb) ...
  Selecting previously unselected package libmpfr4:amd64.
  Unpacking libmpfr4:amd64 (from .../libmpfr4_3.1.1-1_amd64.deb) ...
  Selecting previously unselected package libmpfr-dev:amd64.
  Unpacking libmpfr-dev:amd64 (from .../libmpfr-dev_3.1.1-1_amd64.deb) ...
  Selecting previously unselected package libppl12:amd64.
  Unpacking libppl12:amd64 (from .../libppl12_1%3a1.0-7_amd64.deb) ...
  Selecting previously unselected package libppl-c4:amd64.
  Unpacking libppl-c4:amd64 (from .../libppl-c4_1%3a1.0-7_amd64.deb) ...
  Selecting previously unselected package libppl0.12-dev:amd64.
  Unpacking libppl0.12-dev:amd64 (from .../libppl0.12-dev_1%3a1.0-7_amd64.deb) ...
  Setting up libgmp10:amd64 (2:5.1.2+dfsg-2) ...
  Setting up libgmpxx4ldbl:amd64 (2:5.1.2+dfsg-2) ...
  Setting up libgmp-dev:amd64 (2:5.1.2+dfsg-2) ...
  Setting up libgmp3-dev (2:5.1.2+dfsg-2) ...
  Setting up libmpfr4:amd64 (3.1.1-1) ...
  Setting up libmpfr-dev:amd64 (3.1.1-1) ...
  Setting up libppl12:amd64 (1:1.0-7) ...
  Setting up libppl-c4:amd64 (1:1.0-7) ...
  Setting up libppl0.12-dev:amd64 (1:1.0-7) ...
  Setting up piuparts-depends-dummy (0.invalid.0) ...
  Processing triggers for libc-bin ...
0m13.5s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', '-yf', 'install']
0m13.5s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok
0m13.5s DEBUG: Removing /var/tmp/tmpq72xEy/tmp/piuparts-depends-dummy.deb
0m13.5s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg', '--purge', 'piuparts-depends-dummy']
0m13.5s DUMP: 
  (Reading database ... 6726 files and directories currently installed.)
  Removing piuparts-depends-dummy ...
0m13.5s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'dpkg', '--purge', 'piuparts-depends-dummy']
0m13.5s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', 'clean']
0m13.5s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', 'clean']
0m14.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/var/tmp/tmpq72xEy']
0m15.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/var/tmp/tmpq72xEy']
0m16.0s DEBUG: No broken symlinks as far as we can find.
0m16.0s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-cache', 'policy']
0m17.5s DUMP: 
  Package files:
   100 /var/lib/dpkg/status
       release a=now
   500 http://127.0.0.1/debian/ sid/non-free Translation-en
   500 http://127.0.0.1/debian/ sid/main Translation-en
   500 http://127.0.0.1/debian/ sid/contrib Translation-en
   500 http://127.0.0.1/debian/ sid/non-free amd64 Packages
       release o=Debian,a=unstable,n=sid,l=Debian,c=non-free
       origin 127.0.0.1
   500 http://127.0.0.1/debian/ sid/contrib amd64 Packages
       release o=Debian,a=unstable,n=sid,l=Debian,c=contrib
       origin 127.0.0.1
   500 http://127.0.0.1/debian/ sid/main amd64 Packages
       release o=Debian,a=unstable,n=sid,l=Debian,c=main
       origin 127.0.0.1
  Pinned packages:
0m17.5s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-cache', 'policy']
0m17.5s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-cache', 'policy', 'libapron-dev']
0m17.5s DUMP: 
  libapron-dev:
    Installed: (none)
    Candidate: 0.9.10-5.2
    Version table:
       0.9.10-5.2 0
          500 http://127.0.0.1/debian/ sid/main amd64 Packages
0m17.5s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-cache', 'policy', 'libapron-dev']
0m17.5s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', '-y', 'install', 'libapron-dev=0.9.10-5.2']
0m18.0s DUMP: 
  Reading package lists...
  Building dependency tree...
  Reading state information...
  The following NEW packages will be installed:
    libapron-dev
  0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
  Need to get 197 kB of archives.
  After this operation, 1675 kB of additional disk space will be used.
  Get:1 http://127.0.0.1/debian/ sid/main libapron-dev all 0.9.10-5.2 [197 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 197 kB in 0s (5712 kB/s)
  Selecting previously unselected package libapron-dev.
  (Reading database ... 6726 files and directories currently installed.)
  Unpacking libapron-dev (from .../libapron-dev_0.9.10-5.2_all.deb) ...
  Setting up libapron-dev (0.9.10-5.2) ...
0m18.0s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'apt-get', '-y', 'install', 'libapron-dev=0.9.10-5.2']
0m18.0s INFO: Running scripts post_install
0m18.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/var/tmp/tmpq72xEy']
0m18.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/var/tmp/tmpq72xEy']
0m19.6s ERROR: FAIL: Broken symlinks:
  /usr/lib/libpolkaMPQ.so -> libpolkaMPQ.so.0
  /usr/lib/libboxMPQ.so -> libboxMPQ.so.0
  /usr/lib/libapron.so -> libapron.so.0
  /usr/lib/libboxD.so -> libboxD.so.0
  /usr/lib/liboctMPQ.so -> liboctMPQ.so.0
  /usr/lib/libpolkaRll.so -> libpolkaRll.so.0
  /usr/lib/libboxMPFR.so -> libboxMPFR.so.0
  /usr/lib/liboctD.so -> liboctD.so.0
0m20.0s DEBUG: Starting command: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'umount', '/proc']
0m20.0s DEBUG: Command ok: ['chroot', '/var/tmp/tmpq72xEy', 'eatmydata', 'umount', '/proc']
0m20.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/var/tmp/tmpq72xEy']
0m20.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/var/tmp/tmpq72xEy']
0m20.1s DEBUG: Removed directory tree at /var/tmp/tmpq72xEy
0m20.1s ERROR: piuparts run ends.

ret=1
End: 2013-07-05 21:22:09 EST

--- End Message ---
--- Begin Message ---
Source: apron
Source-Version: 0.9.10-9

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.

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 715070@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Nicolas Braud-Santoni <nicolas@braud-santoni.eu> (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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 03 Aug 2016 16:47:13 +0200
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source amd64 all
Version: 0.9.10-9
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Description:
 libapron   - runtime libraries for APRON
 libapron-dev - abstract interpretation library
 libapron-ocaml - runtime libraries for APRON (OCaml interface)
 libapron-ocaml-dev - abstract interpretation library (OCaml interface)
Closes: 715070
Changes:
 apron (0.9.10-9) unstable; urgency=medium
 .
   * Team upload.
   * Make libapron-dev depend on libapron (Closes: #715070)
   * Bump Standards-Version to 3.9.8
   * debian/control: Use canonical, HTTPS URLs
   * debian/copyright: Update
     - Switch to fomat 1.0
     - Fix syntax errors
     - Fix license information on some files
   * debian/rules: Fail on non-installed files
   * Use build-time hardening
   * Install all shlib symlinks in libapron-dev
     This required a package transition
   * Fix typos in documentation & binaries
     Add patch 0010-Fix-typos.patch
   * Add doc-base files
Checksums-Sha1:
 060de63ae8a68beaa3f2481b808913a0fb4537bb 2192 apron_0.9.10-9.dsc
 b787d9c685bc56c0d0b03f8c1352f30cfc304110 15356 apron_0.9.10-9.debian.tar.xz
 73427b2084f9fd5d939906ffff99f34836fcfc55 36630 libapron-dbgsym_0.9.10-9_amd64.deb
 30b16498b4a9b014af8890a45a3729952236293a 131986 libapron-dev_0.9.10-9_all.deb
 bde4230095cdc429292ff59d8600beac2cc3a423 16604 libapron-ocaml-dbgsym_0.9.10-9_amd64.deb
 bff0c66c80f7eb6e829061e99e62ae84ca5e5984 1277402 libapron-ocaml-dev_0.9.10-9_amd64.deb
 2726bf723244b71b07e6c10e8181c4f12a550de3 60498 libapron-ocaml_0.9.10-9_amd64.deb
 1431bf11f4fcc1c08b34471ce6f3425da6d960fc 483472 libapron_0.9.10-9_amd64.deb
Checksums-Sha256:
 7a7121e28ac369901f212eb4d2e4422e8c5b3178efd8ef1927b384ee61b2a116 2192 apron_0.9.10-9.dsc
 d0e1ba1e532465bec47f7dfb7c90c2a7aa5b0e00a6e653f25cded1e9779687f9 15356 apron_0.9.10-9.debian.tar.xz
 ad6bb476040893bd0eba899b15d7b6e8a9920205a6b12e864d4434c916a9437c 36630 libapron-dbgsym_0.9.10-9_amd64.deb
 c78bf3af37362615803ad57f60001cc0aa99ff8fd2325d38a4756123d025e20b 131986 libapron-dev_0.9.10-9_all.deb
 da55142a005f7e73d8142d97b126f71eecf79756d978a028968ded8b26ce5184 16604 libapron-ocaml-dbgsym_0.9.10-9_amd64.deb
 fc1b2cfb1db19b1f4c1f7cd6f0ecde219d410ab03cdd8699a53e5246df45f40a 1277402 libapron-ocaml-dev_0.9.10-9_amd64.deb
 ddd0a7da7efd4c6ce2d2b0902372973d5f8a45dd6680b381c420334ce8a3225e 60498 libapron-ocaml_0.9.10-9_amd64.deb
 7c4fa9c288e37e0ff9ecf5e370435b506a1ec0ebf01ee843065188af08f281ef 483472 libapron_0.9.10-9_amd64.deb
Files:
 dc88530ba4a62fa7bef3e1bad4871fca 2192 libdevel optional apron_0.9.10-9.dsc
 50a3b99b2708bb247546722e6ef27e81 15356 libdevel optional apron_0.9.10-9.debian.tar.xz
 d14a1b5e90b04bb855d4f5bd0d7e7bd8 36630 debug extra libapron-dbgsym_0.9.10-9_amd64.deb
 7fbb70dc2afb0f80238b77484693a22e 131986 libdevel optional libapron-dev_0.9.10-9_all.deb
 7b07bdce72422a1153a9a5271a7987d8 16604 debug extra libapron-ocaml-dbgsym_0.9.10-9_amd64.deb
 4a4ed5eb40e636c0df4265e3e16356b7 1277402 ocaml optional libapron-ocaml-dev_0.9.10-9_amd64.deb
 7ed8cf772a7402158670c0c98feab092 60498 ocaml optional libapron-ocaml_0.9.10-9_amd64.deb
 adfb61b514690f9bf73bf69208b6aba9 483472 libs optional libapron_0.9.10-9_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXogV6AAoJEHhT2k1JiBrThisP/2gub6bjaXafrnyHHTCcwrQK
Yiqy2KzYEWkOkwuw/ODVVijQzoG0BjDj6s1jzizgOwMuSPPBwCwUNS3bEkijinDC
1T1EhRUCva1PLpbYkfYVj79Kxm289fgHyMcwhyUz6KP8KAX9IH0MZXyH9yKYwWNP
gEIfmIjDuVFL7UGVCkxv4e6GVc8e4ybeF+FHtNP+nH36e3Qh1qTlniGwObUq1sWz
AmKRWvb2Qr/sPCN6CzHRc9IcuXCGx3J7LYawg21UhXIEQwLShaiICP7o3g1OZ1hB
v4gj2WNfT0aeAwNBG4Wc5vgD53g2o6am+mc5f/SR6dJXomMUPjFp2LhJIYA+13Kh
H8blBEkWo/Uxl9hzM47n30ubSUtzfTbRXQ5iauT9+sGSv10yLTLrcQ8TE1wf/pb0
1UEmIB+k8lixBMO5zGpovF81a1urAfctaEx4s40rOtge8UD5+IGy92mdZAnesmPv
LjCijuXnrKyG82Uwxnele11EFJUn/cOEeOKRI3g83mez74evTIbHg2yOzGecFOxp
b5XPPtp2zBg+KX2VQMicY2NQqIfoWO7EDuInQOuvQ9am7iKedJVQWY2NQG+kAKnX
tbrU9fh2LvtXV/QOECI9ptWDclBIf3pmNaXGLxXFD7fDOUetJ6fnG0EBw7mSfw1u
Eu+ahgK24iD09Hh4ud39
=WgWI
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: