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

Bug#610432: marked as done (frama-c: Wrong category set in 'debian/control')

Your message dated Sun, 24 Apr 2011 16:32:41 +0000
with message-id <E1QE2Ej-0001Dm-Gy@franck.debian.org>
and subject line Bug#610432: fixed in frama-c 20110201+carbon+dfsg-1
has caused the Debian Bug report #610432,
regarding frama-c: Wrong category set in 'debian/control'
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.)


-- 
610432: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=610432
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: frama-c
Version: 20100401+boron+dfsg-4 (frama-c)
Severity: minor

Originally reported at https://bugs.launchpad.net/hundredpapercuts/+bug/613853

 Actually the package Frama-C is listed in 'Science/Mathematics' category, but
it's a tool to help analyse C source Code.
It should go instead in category: Tools for Developers.



-- System Information:
Debian Release: squeeze/sid
  APT prefers maverick-updates
  APT policy: (500, 'maverick-updates'), (500, 'maverick-security'), (500, 'maverick-proposed'), (500, 'maverick')
Architecture: i386 (i686)

Kernel: Linux 2.6.35-22-generic (SMP w/1 CPU core)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20110201+carbon+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-base_20110201+carbon+dfsg-1_amd64.deb
  to main/f/frama-c/frama-c-base_20110201+carbon+dfsg-1_amd64.deb
frama-c_20110201+carbon+dfsg-1.debian.tar.gz
  to main/f/frama-c/frama-c_20110201+carbon+dfsg-1.debian.tar.gz
frama-c_20110201+carbon+dfsg-1.dsc
  to main/f/frama-c/frama-c_20110201+carbon+dfsg-1.dsc
frama-c_20110201+carbon+dfsg-1_amd64.deb
  to main/f/frama-c/frama-c_20110201+carbon+dfsg-1_amd64.deb
frama-c_20110201+carbon+dfsg.orig.tar.gz
  to main/f/frama-c/frama-c_20110201+carbon+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 610432@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@debian.org)


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

Format: 1.8
Date: Sat, 23 Apr 2011 18:47:13 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20110201+carbon+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: 610432
Changes: 
 frama-c (20110201+carbon+dfsg-1) unstable; urgency=low
 .
   * New upstream release:
     - Update copyright file.
     - Remove all patches, integrated by upstream.
     - Add patches:
       + 0001-Value-Analysis-Carbon-patchlevel-1.patch
       + 0002-Fix-for-issue-727.patch
   * Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853).
   * No need to exclude custom bytecode binaries when running dh_strip.
     (thanks to patch applied in OCaml >= 3.12.0-5)
Checksums-Sha1: 
 75feae757af2f329ab9a8a2444fb61267acaa427 1859 frama-c_20110201+carbon+dfsg-1.dsc
 e7d5c9f7d28d473824710e1b0e4f0b623ef6c814 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz
 50ed418355f5eba1956fee678561956a0991afd5 39657 frama-c_20110201+carbon+dfsg-1.debian.tar.gz
 c07f7c1f075af55a6647641761f5ed5b15ef64b6 3715638 frama-c_20110201+carbon+dfsg-1_amd64.deb
 0d0d95b5ed287e2ed2c3b2d147e045b29a34703a 21028760 frama-c-base_20110201+carbon+dfsg-1_amd64.deb
Checksums-Sha256: 
 f5f7eb61dc8070c019cc8428a5f215b053b4df44e9faaaa8da440ff78b5be714 1859 frama-c_20110201+carbon+dfsg-1.dsc
 502e82bf33a0050e0e282a448188c64bc458273a2a7655b2509272e33c24dbbf 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz
 8e65cece1e6060e9523d8e6f17fd7998b667ca04b92de47c61583490f1d4f87d 39657 frama-c_20110201+carbon+dfsg-1.debian.tar.gz
 f9b4eee88a5cf5625a00ccdd157d3168f798215a1f40ad88506d4e1b926acdc1 3715638 frama-c_20110201+carbon+dfsg-1_amd64.deb
 c1690b34ea78c58190f6c2022556725d63b4e14ba176f43a336a2210e6cc42ae 21028760 frama-c-base_20110201+carbon+dfsg-1_amd64.deb
Files: 
 6450cc0208560d994cfa3cc3e15a1086 1859 devel optional frama-c_20110201+carbon+dfsg-1.dsc
 4fbb6723b6fa686d504b3f62e1d22ec7 2281355 devel optional frama-c_20110201+carbon+dfsg.orig.tar.gz
 f5bbf2d5b7310eba4dadeb310214a1fb 39657 devel optional frama-c_20110201+carbon+dfsg-1.debian.tar.gz
 588760568c2d5e4d52d35379ed84f2db 3715638 devel optional frama-c_20110201+carbon+dfsg-1_amd64.deb
 e6112854273b87f33a8ef55d1a114c7c 21028760 devel optional frama-c-base_20110201+carbon+dfsg-1_amd64.deb

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

iQEcBAEBAgAGBQJNtE1TAAoJEDe1GR0FRlJoZ3IH/ju0BcOWjhJUcnTX8FuJDZ5S
3RqZvXEYMybENhQMo59lA+KKHuwsNEGX3S8fgoKZcftUeZw9NAOgB3/tGSQ5GhAM
S6SziipLU/t3uvy8sapIRG+elA/KXUcBdg9Pn+dxa0UJn7z8tR4MqR5UOmA2l49F
rn9TFTKsJlLp+7q2+P87Ga/O1RPTOcRerIZ0pnM9ctc4PV/UXvbdFKSymBA5Sclv
J3wdXeS18d8OAYIqLyMZLGxocJsKhubcuAOJSK7KXyIxqOkGus/aqoOnCWGlDZmQ
d4DtdBFdjZj6sTl27WRhIIuM3K9BqPktFP1Otbzp1iA20LEhARYtDYNJb2KfG90=
=B2+s
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: