Bug#620716: marked as done (libppl0.10-dev not in unstable anymore)
Your message dated Sun, 10 Apr 2011 01:47:14 +0000
with message-id <E1Q8jkA-0006B9-LG@franck.debian.org>
and subject line Bug#620716: fixed in apron 0.9.10-5.1
has caused the Debian Bug report #620716,
regarding libppl0.10-dev not in unstable anymore
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.)
--
620716: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=620716
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libapron-dev
Version:0.9.10-5
Severity: serious
libapron-dev depends on libppl0.10-dev, which doesn't exist anymore in unstable,
now removed by ftp-master. Please depend on libppl0.11-dev instead.
--- End Message ---
--- Begin Message ---
Source: apron
Source-Version: 0.9.10-5.1
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.1.debian.tar.gz
to main/a/apron/apron_0.9.10-5.1.debian.tar.gz
apron_0.9.10-5.1.dsc
to main/a/apron/apron_0.9.10-5.1.dsc
libapron-dev_0.9.10-5.1_all.deb
to main/a/apron/libapron-dev_0.9.10-5.1_all.deb
libapron-ocaml-dev_0.9.10-5.1_amd64.deb
to main/a/apron/libapron-ocaml-dev_0.9.10-5.1_amd64.deb
libapron-ocaml_0.9.10-5.1_amd64.deb
to main/a/apron/libapron-ocaml_0.9.10-5.1_amd64.deb
libapron_0.9.10-5.1_amd64.deb
to main/a/apron/libapron_0.9.10-5.1_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 620716@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Steve Langasek <vorlon@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 ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 10 Apr 2011 01:22:13 +0000
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source amd64 all
Version: 0.9.10-5.1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Steve Langasek <vorlon@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: 620716
Changes:
apron (0.9.10-5.1) unstable; urgency=low
.
* Non-maintainer upload.
* Build-depend on the libppl-dev virtual package instead of libppl0.10-dev,
since this latter package is no longer available in unstable and apron
now fails to build. Closes: #620716.
Checksums-Sha1:
d0aacb711d82b80d39e35452f25a123354ed86e0 2098 apron_0.9.10-5.1.dsc
74a57b78f75423df58dd2df1d9e61e364b3a5da9 10744 apron_0.9.10-5.1.debian.tar.gz
a9ddae6d5942110f5964226e1f681bd16675d8da 710062 libapron_0.9.10-5.1_amd64.deb
ab2cd844a0f95c3d659cb8cb988a532d8ed0ee17 197168 libapron-dev_0.9.10-5.1_all.deb
92007e154bbd983b08acfe9df3091c7ffb600ca7 91340 libapron-ocaml_0.9.10-5.1_amd64.deb
156c850029da8b3beba64e2f239a3b5cad3c6f36 3480230 libapron-ocaml-dev_0.9.10-5.1_amd64.deb
Checksums-Sha256:
bca933242d7452fe399c58af078c3774112954e1264db65ffced2fd7cbf5ede5 2098 apron_0.9.10-5.1.dsc
f12f7a149353015e0de28719adad79a5a2bbee5b8605f7c50410e76a007b6327 10744 apron_0.9.10-5.1.debian.tar.gz
68a5e935ea0777f322e3c95f3d75cbea69263f6205ff3b620c1be4238df3b81f 710062 libapron_0.9.10-5.1_amd64.deb
bef2743e51d68f5bc29f4da8061c3c034eb34f5f705352dfc8c9352a517a681a 197168 libapron-dev_0.9.10-5.1_all.deb
8ffb4e1c34304d8b780d82d14d9f8ee5c8571913243bbd9400ac341edcd16e5b 91340 libapron-ocaml_0.9.10-5.1_amd64.deb
2f1682c4b322cf61816fd26899e8fd6bd225613eabae79bcecafbb1a6cc18467 3480230 libapron-ocaml-dev_0.9.10-5.1_amd64.deb
Files:
5a6210497b8f1128ce3d737bef140ca8 2098 libdevel optional apron_0.9.10-5.1.dsc
6072d40c842f7b7863cf6c527cc8c8a1 10744 libdevel optional apron_0.9.10-5.1.debian.tar.gz
fd9148e68fbcca2126f6f182d0ecee89 710062 libs optional libapron_0.9.10-5.1_amd64.deb
399fc11a7c5d72e1e5b5c143a89b9b8d 197168 libdevel optional libapron-dev_0.9.10-5.1_all.deb
90fa0ce5e597ac12884b6069dad3b905 91340 ocaml optional libapron-ocaml_0.9.10-5.1_amd64.deb
164e47802e27888583e10f05cb11d82e 3480230 ocaml optional libapron-ocaml-dev_0.9.10-5.1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIVAwUBTaEIw1aNMPMhshM9AQhJgxAAsh8dTNp55eRDxt/sl8HiQgMkJXiyHqz/
d1p8SrrhpBJiF3wu1UuwxKmMTKCoc47qmBmgUm8Uk0ZhwGAVLMCns6ywUs3wpojX
brUrWnLpXfA9ewXkNwaJA+Jp732B3nplKlv0lBMoJBJo5UKFQWGOpemsumn7V9NQ
xMwFQBTE7hbppKiE/Ligf3U9aCnhDbJeIzat4CC1q0O6owruJTSDsId5fvasaWO4
84G9Rhyrr/samyJ1egH9FmTfYI5ffz1xoEAzfjXyQimqFE7twePUH0+pbq7bJzxm
wuy00dmbPQw17Odu317rV/LhzljWrcxa2uuFcdbxLomIIgZcCozWfi2Aapcg6ODU
1UgXHWNirWAS7UAqDbfPSsDJ/exaaXCctgiJB+A8gthRBqUkJVLk/JXYMh/Jk27e
0T4i72IDjAa59OxKSdHyYABHs9DnVrOQdITwgTEbPaevci5v/nAkaDnoye1OM8nN
bbHWlnkJsXXoL5ZJ7a4OAiDz1rdcIVoZGpErQN74E3jMWN52q6/SQF0OJ7ogeZwT
mQnXCyof1lNsPsfGdiGQCd37k84Id0CB3MNhTGNo1emCV0VYQLcWHk004v/p6ZzA
m/BHqVJygt1vduRGlEu1XOp/fJ+cXCneoWV7nSW2YCIS6RbKAWgaxX+Iq0xsQ666
LOtUgYsycyA=
=EH/y
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: