Your message dated Mon, 16 Nov 2009 22:47:18 +0000
with message-id <e1naalu-0000no...@ries.debian.org>
and subject line Bug#552326: fixed in apron 0.9.10-1
has caused the Debian Bug report #552326,
regarding ITP: apron -- An abstract interpretation library
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.)
--
552326: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=552326
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram <smim...@debian.org>
* Package name : apron
Version : 0.9.10
* URL : http://apron.cri.ensmp.fr/library/
* License : LGPL + GPL
Programming Lang: C + OCaml
Description : 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.
--- End Message ---
--- Begin Message ---
Source: apron
Source-Version: 0.9.10-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-1.diff.gz
to main/a/apron/apron_0.9.10-1.diff.gz
apron_0.9.10-1.dsc
to main/a/apron/apron_0.9.10-1.dsc
apron_0.9.10.orig.tar.gz
to main/a/apron/apron_0.9.10.orig.tar.gz
libapron-dev_0.9.10-1_all.deb
to main/a/apron/libapron-dev_0.9.10-1_all.deb
libapron-ocaml-dev_0.9.10-1_i386.deb
to main/a/apron/libapron-ocaml-dev_0.9.10-1_i386.deb
libapron-ocaml_0.9.10-1_i386.deb
to main/a/apron/libapron-ocaml_0.9.10-1_i386.deb
libapron_0.9.10-1_i386.deb
to main/a/apron/libapron_0.9.10-1_i386.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 552...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smim...@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: SHA1
Format: 1.8
Date: Wed, 21 Oct 2009 19:06:36 +0200
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source i386 all
Version: 0.9.10-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Samuel Mimram <smim...@debian.org>
Description:
libapron - Runtime libraries for APRON
libapron-dev - An abstract interpretation library
libapron-ocaml - Runtime libraries for APRON
libapron-ocaml-dev - An abstract interpretation library
Closes: 552326
Changes:
apron (0.9.10-1) unstable; urgency=low
.
* Initial release, closes: #552326.
Checksums-Sha1:
aae19196aca66f44bf7972d2acec828e78da8d16 1402 apron_0.9.10-1.dsc
2defc170d522ab1c7ec0c50036d931411aa2fbc6 934321 apron_0.9.10.orig.tar.gz
aa8b55e4bd580deb6376fa31beda21436a90e8d2 5945 apron_0.9.10-1.diff.gz
2613bcfd3cd4cf8ed83098a7a9d11b366cbd52f0 626416 libapron_0.9.10-1_i386.deb
dec57ae11e9c98522ba902a417bd33b282b19ad3 173096 libapron-dev_0.9.10-1_all.deb
1e13e8f21ec6edb661b38137aad5d00d3e0e47e3 70694 libapron-ocaml_0.9.10-1_i386.deb
ff5f8c1e58cbd023e1af3cdef00944be2243db7b 2837498
libapron-ocaml-dev_0.9.10-1_i386.deb
Checksums-Sha256:
abfdc8d787bb4011e90b8ac8850a5d814d180e46bff3cb4eb023f397868905d6 1402
apron_0.9.10-1.dsc
f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321
apron_0.9.10.orig.tar.gz
d8634c574938ea145d704c0f5ef4c79c6b0c0a5d40a5e0cb5a2ce71db431b405 5945
apron_0.9.10-1.diff.gz
0c59066e8ffd3545bc7333b2644418e133d433093b28275097ec6abb47c7d405 626416
libapron_0.9.10-1_i386.deb
4e0200c78b209064d32969010d7b2ddbee3575a071680949d2608a8b33e9d171 173096
libapron-dev_0.9.10-1_all.deb
b4638f26c3cf9e8d980ee6b1d5db388874873cc8742b89d5bacb8a7a2d35a7a7 70694
libapron-ocaml_0.9.10-1_i386.deb
d970a44991084f1325e14cc512378c32d6aa8c7500833c2a7dd622ca8f3d5a67 2837498
libapron-ocaml-dev_0.9.10-1_i386.deb
Files:
fcf2c5c3f082c28de66a8407b2b623e0 1402 libdevel optional apron_0.9.10-1.dsc
17058de80f7352885eb4064585baf873 934321 libdevel optional
apron_0.9.10.orig.tar.gz
3eed012a64a13b01d54c5ff911c8c6ed 5945 libdevel optional apron_0.9.10-1.diff.gz
3d094e01bb94d91562724333ccc7ab72 626416 libs optional
libapron_0.9.10-1_i386.deb
ce7ca975e13a0a27a804f941d944190f 173096 libdevel optional
libapron-dev_0.9.10-1_all.deb
c2aa6752655161db3eecf25db3c52a32 70694 ocaml optional
libapron-ocaml_0.9.10-1_i386.deb
bbfd41a936a69234a733307add0a283b 2837498 ocaml optional
libapron-ocaml-dev_0.9.10-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkrkmQ0ACgkQIae1O4AJae9zsQCePIOm4DEprKBUbsQp4PByUGq8
wskAnArM895Ap0MKyVbkzZFNbRsJD/YR
=U40/
-----END PGP SIGNATURE-----
--- End Message ---
