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

Bug#714124: marked as done (frama-c: "nitrogen" Frama-c is two versions older than "fluorine")

Your message dated Mon, 25 Nov 2013 21:20:06 +0000
with message-id <E1Vl3Ze-0005cU-Sf@franck.debian.org>
and subject line Bug#714124: fixed in frama-c 20130601+fluorine3+dfsg-1
has caused the Debian Bug report #714124,
regarding frama-c: "nitrogen" Frama-c is two versions older than "fluorine"
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.)


-- 
714124: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714124
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: frama-c
Version: 20111001+nitrogen+dfsg-4
Severity: wishlist
Tags: upstream
User: ubuntu-devel@lists.ubuntu.com
Usertags: origin-ubuntu saucy

Dear Maintainer,

Please upgrade frama-c's packaging to the latest upstream version.

This bug report was also filed in Ubuntu and can be found at
http://launchpad.net/bugs/1180597
The description, from Craig Denman, follows:

With each newer version of Ubuntu, the same old "nitrogen" Frama-c keeps
getting thrown in.  Why not use the newest available version?  The authors have
indicated that many bugs have been fixed.

-- System Information:
Debian Release: wheezy/sid
  APT prefers saucy-updates
  APT policy: (500, 'saucy-updates'), (500, 'saucy-security'), (500, 'saucy'),
(100, 'saucy-backports')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.9.0-7-generic (SMP w/1 CPU core)

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20130601+fluorine3+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.

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

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (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@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 25 Nov 2013 15:02:35 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20130601+fluorine3+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 frama-c    - Framework for source code analysis of software written in C
 frama-c-base - Framework for C source code analysis (without gui)
Closes: 714124
Changes: 
 frama-c (20130601+fluorine3+dfsg-1) unstable; urgency=low
 .
   * New upstream release (Closes: #714124)
     - Remove 0001-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch, fixed
       upstream
     - Remove 0002-Accept-ocamlgraph-1.8.patch, fixed upstream
     - Remove 0006-Patchlevel2-for-Nitrogen-20111001.patch, integrated
     - Add 0004-Fix-auto-detection-of-ocaml-zarith.patch
     - Require ocamlgraph (>= 1.8.3~) on build.
   * Add libzarith-ocaml-dev to Build-Depends.
   * Add autoconf to Build-Depends.
   * Call dh_ocaml with --nodefined-map=frama-c-base:Big_int_Z,Z,Q, modules
     already declared by ocaml-zarith.
Checksums-Sha1: 
 147c92fcdfa08a3c5d9cb60ce2d428d7dbddca37 2337 frama-c_20130601+fluorine3+dfsg-1.dsc
 5abd6f1d8e2e0869fa2b9912fb4340e379bca00a 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz
 b72721fa3af8d0dce351b0687bcc93867429abe5 23456 frama-c_20130601+fluorine3+dfsg-1.debian.tar.gz
 3b3c5baae3f7e985d0aad21060a64ab473b7342d 2822182 frama-c_20130601+fluorine3+dfsg-1_amd64.deb
 08592c8a04bac99587cc84e20547c8eb70394b5e 17291708 frama-c-base_20130601+fluorine3+dfsg-1_amd64.deb
Checksums-Sha256: 
 01ce4b84376c2e68297d4997df67968855138782fff1ebabd139d2777a9a5105 2337 frama-c_20130601+fluorine3+dfsg-1.dsc
 69118f631055f86ca299b00255eb3e74cfff69da6317347fafd62a32cae44e38 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz
 27b9060c3536e565870940f5da09c8507a4e23b523cb0bab9dc3aba4dedd0202 23456 frama-c_20130601+fluorine3+dfsg-1.debian.tar.gz
 1cb894f3966c10f91a7d8a2435857cea046d786aab2737a5458ce91765c7238f 2822182 frama-c_20130601+fluorine3+dfsg-1_amd64.deb
 7eaf0196f7f73bfc24f962490ae13cf6e5f0ecf752c5f93effe793fec59e684f 17291708 frama-c-base_20130601+fluorine3+dfsg-1_amd64.deb
Files: 
 1dee8bc560a6d52f844cf91e9d13ccda 2337 devel optional frama-c_20130601+fluorine3+dfsg-1.dsc
 0effe1e72944ef0a057ccf4063b191d0 2640053 devel optional frama-c_20130601+fluorine3+dfsg.orig.tar.gz
 4c6a2ef49190853dd1014ff820ca3037 23456 devel optional frama-c_20130601+fluorine3+dfsg-1.debian.tar.gz
 eeb6c539a5541e148255be8f39ef3051 2822182 devel optional frama-c_20130601+fluorine3+dfsg-1_amd64.deb
 d4cfb3c73a37eb1dbd913696264d3516 17291708 devel optional frama-c-base_20130601+fluorine3+dfsg-1_amd64.deb

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

iQIcBAEBCAAGBQJSk7mkAAoJEDO+GgqMLtj/i/kQALTmjIHudP69wFXXv82ZwkwT
CFyxm/Gn/A/eA5U9ya893V3PhMRCmZfOWk3sL7rdPkCZOsnwqJOSEN7Nm2Np+Ih/
pu9Zkxs+8XaJ21OLeFNLjf8mekOq9EASOSTWAud0b3j6s6+cvP/cBYd6d+PeqqsA
Bew/XLfCmI+theV0hymN87Y7HDqfcS5B5vQkmH1d3JJwS6Y3U+UCb9BOqVq7ug4W
b7hq64fFcyKOxCkTd74FodgRjE4JMuliWfFUvf2OPh7c220LGU56+Cit40rMdxig
jJQGS7X2AqB8N2sYmSPt7rpOGG8fj7Rot6/5bWIaGDhYyAoe8r5PFi6lT0zLlgEG
v8BU3bglKX08tyyP9mcr3TaIi9AtK8OMHTBYSdshOVK3C4KqbIJ3/U423VToyf08
amcEdUYe9EjJJJ5i/1rzGfcdxr1LxXs6hV83SUgIqDq2r78U/tISYhvHJBJjVgH2
D2XPEl1VQiExn02BHFrqZf03yEehFyxal2t48dL4hBZA9DvRP7aQqZVPLVvdA29w
3co6aI2I5qUxRi3lUB0JCcAU6G1yOSI0TR52kh4Q4TEjr3c3ZFGWwsvKwHGkRcjw
p11fkUUlrS8pTpyJmhWZ8g6L4jS4R/+M3v3WqMULKoN0j8e2wnJDyvtNhC/8nf08
6CcuuML5l3CmnAU54G2Z
=ZRRB
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: