Bug#620716: marked as done (libppl0.10-dev not in unstable anymore)
Your message dated Sun, 10 Apr 2011 10:02:31 +0000
with message-id <E1Q8rTT-0001DP-HP@franck.debian.org>
and subject line Bug#620716: fixed in apron 0.9.10-5.2
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.2
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.2.debian.tar.gz
to main/a/apron/apron_0.9.10-5.2.debian.tar.gz
apron_0.9.10-5.2.dsc
to main/a/apron/apron_0.9.10-5.2.dsc
libapron-dev_0.9.10-5.2_all.deb
to main/a/apron/libapron-dev_0.9.10-5.2_all.deb
libapron-ocaml-dev_0.9.10-5.2_amd64.deb
to main/a/apron/libapron-ocaml-dev_0.9.10-5.2_amd64.deb
libapron-ocaml_0.9.10-5.2_amd64.deb
to main/a/apron/libapron-ocaml_0.9.10-5.2_amd64.deb
libapron_0.9.10-5.2_amd64.deb
to main/a/apron/libapron_0.9.10-5.2_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 09:38:37 +0000
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source amd64 all
Version: 0.9.10-5.2
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.2) unstable; urgency=low
.
* Follow-on NMU to fix the binary dependency on libppl0.10-dev.
Really Closes: #620716.
Checksums-Sha1:
f0471b2b7142ad27dc76540a2421ca733d01133b 2098 apron_0.9.10-5.2.dsc
81c5c0cfe0b7a2b9f8dcbd2b22bc31c4b6abd638 10797 apron_0.9.10-5.2.debian.tar.gz
c5bb6ad1d1d45e540532aef8b762b3de613fb13e 710154 libapron_0.9.10-5.2_amd64.deb
99567f0270f91fdbd3af944986f73e3fa491f039 197276 libapron-dev_0.9.10-5.2_all.deb
23d181c3ac9cd099f3bf88d1665a3fc8c8390914 91398 libapron-ocaml_0.9.10-5.2_amd64.deb
19d880e952d3a852628c884aae19c81ed432bc28 3480196 libapron-ocaml-dev_0.9.10-5.2_amd64.deb
Checksums-Sha256:
957da12e75a7cde354db47b07699b077bacadfa2b2d12a35f6820e7d66ecfcde 2098 apron_0.9.10-5.2.dsc
19eec59fdebc8551155e07888fc4dcaeb8b6fb259c4041e2550dd736f4a18d5d 10797 apron_0.9.10-5.2.debian.tar.gz
ed7cb572695e09824d9ec5a4f39bb4ba37f03763b781d148bb44afe8efd7d2f6 710154 libapron_0.9.10-5.2_amd64.deb
a90655c195bce8c9d99ba0157323ced36e7c915faf0d8ba3507aa41cd4e216b1 197276 libapron-dev_0.9.10-5.2_all.deb
e54b8c9f4ce4f413663269440c3fa89ebefb1be3eea06280887e97c54ef0051e 91398 libapron-ocaml_0.9.10-5.2_amd64.deb
10711cbeaae216f9a433a19da32a32c09d717e42a50155a3537d3c9fd0a7ed29 3480196 libapron-ocaml-dev_0.9.10-5.2_amd64.deb
Files:
275cb67d74541f7b177cdf0c7ba3827d 2098 libdevel optional apron_0.9.10-5.2.dsc
c6ee5d2defa1673b128f98899a663044 10797 libdevel optional apron_0.9.10-5.2.debian.tar.gz
0aa8857f63ed9192dc1e86753f3a45f1 710154 libs optional libapron_0.9.10-5.2_amd64.deb
69593e88e4b4970a2fcd67c0e575d221 197276 libdevel optional libapron-dev_0.9.10-5.2_all.deb
908c3c6c54e04731e8cc3d4f4ed6152d 91398 ocaml optional libapron-ocaml_0.9.10-5.2_amd64.deb
1b524bd024ab3ecf6132b602c0a5358a 3480196 ocaml optional libapron-ocaml-dev_0.9.10-5.2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIVAwUBTaF75laNMPMhshM9AQiZ9Q//cKDe8SX7HBh2BszChoVdHQk5M4986Q4T
cEeRNbzsNC6IeaDLmkmRTDdJ/RNyU56IJXbDeRxDswyOAf0Zo+56ZcKK5x3Vt56f
6Bbz4zBh6/C8UrA1f0S31tUZHFzaXqFX6IVou/2rgbHhmGo0aroMcfN4lLldjVZM
XzN8JAUJ4n25RvzkeIUiGi5xUh80QtI0lH/1PkEXk0QT8OSV6IcY0TNwv2tZVtNv
OuC02dB+1/i2Unxk5JHLlqjevE1aohTi42f1F7tBM41hcec1nKCFj0/srpsU83oC
tRlPPhV4g6fEc1SCwbWZEP7nwGvFry7E7+8AskTf6qh7TG68u67wqEKhNzCXT7FA
Yefg1NLTZqZFf7fI7iWB1WHIAfIGWxUm/vjcaSIr+4RNzS1nvqMfVL1IPmeh1r1D
eYuSvzjwYAeeSyyYcusd9GX2vtPpvchai3d9fVWobFINQDcLC1lkdxGKO1kAwk+c
dk3qYAjGD5/HJMZbCxwIV+ZlfuT6qvrdzJDNQE4OOQo3cnLCQ2iD4haLRPwGhhwB
3Zhc1tlpDtj+5tyNTVd91b/c6E7dTAxeBRsCftUlNwPRcPeiFnXhr4XjZqXaEVWB
zF3YZeOQe6Y++zXwCMDSwErB5owkgZ7D28fHZ2LBuFpdR/BxggSDIAEf1K+V80R7
+x9wb7dykRg=
=dow1
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: