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

Bug#552326: marked as done (ITP: apron -- An abstract interpretation library)

Your message dated Mon, 16 Nov 2009 22:47:18 +0000
with message-id <E1NAALu-0000nO-9q@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 owner@bugs.debian.org
immediately.)


-- 
552326: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=552326
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram <smimram@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 552326@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Samuel Mimram <smimram@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: 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-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@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 ---
Reply to: