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

Bug#484234: marked as done (ITP: frama-c -- framework for source code analysis of software written in C)

Your message dated Tue, 02 Jun 2009 23:56:35 +0000
with message-id <E1MBdqN-0000WF-AT@ries.debian.org>
and subject line Bug#484234: fixed in frama-c 20081201.dfsg-1
has caused the Debian Bug report #484234,
regarding ITP: frama-c -- framework for source code analysis of software written in C
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.)


-- 
484234: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484234
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

* Package name    : frama-c
  Version         : 20080501
  Upstream Author : Software Reliability Laboratory (LSL) http://www-list.cea.fr/labos/gb/LSL/index.html and INRIA ProVal project http://www.inria.fr/saclay/
* URL             : http://frama-c.cea.fr/
* License         : GPL
  Programming Lang: OCaml
  Description     : framework for source code analysis of software written in C

Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.  It can be used on C programs to
 .
 * Validate it formally
 * Look for potential runtime errors
 * Audit or review it
 * Reverse engineer it to understand its structure
 * Generate formal documentation

- -- System Information:
Debian Release: lenny/sid
  APT prefers testing
  APT policy: (900, 'testing'), (800, 'unstable'), (700, 'experimental')
Architecture: i386 (i686)

Kernel: Linux 2.6.25-2-686 (SMP w/1 CPU core)
Locale: LANG=en_IN, LC_CTYPE=en_IN (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIROds4eu+pR04mIcRAjIOAKDEigq6pvlSUtWsa1aR9+r6WeQeTgCgw8WT
qswq4fqOQTZnqRLB9xSuFZ0=
=080s
-----END PGP SIGNATURE-----

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20081201.dfsg-1

We believe that the bug you reported is fixed in the latest version of
frama-c, which is due to be installed in the Debian FTP archive:

frama-c_20081201.dfsg-1.diff.gz
  to pool/main/f/frama-c/frama-c_20081201.dfsg-1.diff.gz
frama-c_20081201.dfsg-1.dsc
  to pool/main/f/frama-c/frama-c_20081201.dfsg-1.dsc
frama-c_20081201.dfsg-1_i386.deb
  to pool/main/f/frama-c/frama-c_20081201.dfsg-1_i386.deb
frama-c_20081201.dfsg.orig.tar.gz
  to pool/main/f/frama-c/frama-c_20081201.dfsg.orig.tar.gz



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

Debian distribution maintenance software
pp.
Mehdi Dogguy <dogguy@pps.jussieu.fr> (supplier of updated frama-c 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: Fri, 24 Apr 2009 23:47:35 +0200
Source: frama-c
Binary: frama-c
Architecture: source i386
Version: 20081201.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description: 
 frama-c    - Framework for source code analysis of software written in C
Closes: 484234
Changes: 
 frama-c (20081201.dfsg-1) unstable; urgency=low
 .
   * Initial release (Closes: #484234)
   * Codename: Lithium
Checksums-Sha1: 
 bf7e222107b1840eba1b93ba1457c05b48087178 1540 frama-c_20081201.dfsg-1.dsc
 ec70701aac98f390d6f71bf22d901c746348ba7d 1615922 frama-c_20081201.dfsg.orig.tar.gz
 287fec35634df2e0ae5b7428721be8fd319ad5a6 32117 frama-c_20081201.dfsg-1.diff.gz
 c48ee9172508f4293a5663e4be3e44c34edd96a2 6115854 frama-c_20081201.dfsg-1_i386.deb
Checksums-Sha256: 
 517088087c395565ae8e3f914b5fb2028815d06c88890bbf21eb37ea944e2227 1540 frama-c_20081201.dfsg-1.dsc
 2b87e6798afe95777461f3d61dd18666099b563c266c5c470390ead9242ee238 1615922 frama-c_20081201.dfsg.orig.tar.gz
 f24fb0009e2fb2d9683a9f1b00809fb46fb94eba9ffe3133a468cb57d2162c3b 32117 frama-c_20081201.dfsg-1.diff.gz
 41a32bda9a93cdc1693e79753eeacfacca1849d6069c1b121ab7b88aca8008c1 6115854 frama-c_20081201.dfsg-1_i386.deb
Files: 
 a971fec76e088876571fcea0eaa35187 1540 math extra frama-c_20081201.dfsg-1.dsc
 ccb7e4d60a9b0ba15fffab34e91efcf0 1615922 math extra frama-c_20081201.dfsg.orig.tar.gz
 fa32bc3f1d20d880202782aaf1041b30 32117 math extra frama-c_20081201.dfsg-1.diff.gz
 017fdcfb8ae13786333f89a7ac9cc000 6115854 math extra frama-c_20081201.dfsg-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkolY3MACgkQIae1O4AJae9KGACfdENMtYlbmZeAwDgtf7c4lTVR
WkQAni3Esyeoso5DW+q1BS7XRLefMc4u
=iyJI
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: