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

Bug#533158: marked as done (frama-c: long description no sentence)

Your message dated Fri, 10 Jul 2009 18:47:12 +0000
with message-id <E1MPL7o-0008QF-Ju@ries.debian.org>
and subject line Bug#533158: fixed in frama-c 20081201.dfsg-3
has caused the Debian Bug report #533158,
regarding frama-c: long description no sentence
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.)


-- 
533158: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=533158
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: frama-c
Version: 20081201.dfsg-2
Severity: minor

        Hi!

 It would be nice if the long description of your package could consist
of full sentences[1], the snippet in the first paragraph is missing its
verb and its fullstop.

 Also please notice that unlike in the French language there is no
whitespace infront of colons in English. ;)

 So long, and thanks for your great work nevertheless!
Rhonda
[1] <http://www.us.debian.org/doc/developers-reference/best-pkging-practices#bpp-pkg-desc>

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

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-3.diff.gz
  to pool/main/f/frama-c/frama-c_20081201.dfsg-3.diff.gz
frama-c_20081201.dfsg-3.dsc
  to pool/main/f/frama-c/frama-c_20081201.dfsg-3.dsc
frama-c_20081201.dfsg-3_amd64.deb
  to pool/main/f/frama-c/frama-c_20081201.dfsg-3_amd64.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 533158@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, 10 Jul 2009 20:07:12 +0200
Source: frama-c
Binary: frama-c
Architecture: source amd64
Version: 20081201.dfsg-3
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: 533158
Changes: 
 frama-c (20081201.dfsg-3) unstable; urgency=low
 .
   * Fix long description (Closes: #533158)
   * Tighten build dependencies versions to ease OCaml 3.11.1 transition
   * Rebuild with OCaml 3.11.1
Checksums-Sha1: 
 e32b14b933c69dcdc934d43efc2ff9207251d1a1 1581 frama-c_20081201.dfsg-3.dsc
 2f0bdbc5cf9b1e188fa09135841c2358fd7ba9c8 32739 frama-c_20081201.dfsg-3.diff.gz
 dfa1c292f03505c349aae22aaec8f595f45a5ee8 6889934 frama-c_20081201.dfsg-3_amd64.deb
Checksums-Sha256: 
 d8040d9c0d1b7d50ddb4bb351bee939c0f5319676f1704a51a088acf2b3847f7 1581 frama-c_20081201.dfsg-3.dsc
 8110cca5876396156561d4442c3f20fec3b2a03ae80218fb5246fdecece55ab2 32739 frama-c_20081201.dfsg-3.diff.gz
 d7da9b47239177547862ba9219deaf925e3c84a7b937cab226a45c1f39a21c27 6889934 frama-c_20081201.dfsg-3_amd64.deb
Files: 
 9d11c55fada2516c18a4305d824c6519 1581 math extra frama-c_20081201.dfsg-3.dsc
 f0b0e1eeebb6bbbb264d7fb2ef16c665 32739 math extra frama-c_20081201.dfsg-3.diff.gz
 8f9825afdd7db63723383bec407d5275 6889934 math extra frama-c_20081201.dfsg-3_amd64.deb

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

iEYEARECAAYFAkpXi8EACgkQhryr/xwAx5BZdgCcCQn3XcGCfRpBCppdQjS6YJA1
sCAAoNiN73luk1ScKn7Fb8xeriSQ0RtJ
=88kY
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: