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

Bug#524054: marked as done (libwhy-coq: the long description isn't really descriptive)



Your message dated Fri, 15 May 2009 16:47:07 +0000
with message-id <E1M50Yt-00055d-OM@ries.debian.org>
and subject line Bug#524054: fixed in why 2.18.dfsg-3
has caused the Debian Bug report #524054,
regarding libwhy-coq: the long description isn't really descriptive
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.)


-- 
524054: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=524054
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libwhy-coq
Version: 2.18.dfsg-2
Severity: normal

        Hi!

 The long description of libwhy-coq is this:
#v+
Description: Why library for Coq
 This package contains Why library for Coq.
#v-

 This is just one short sentence not really describing what libwhy-coq
is about, and what the Why library is. Please expand it a bit further.

 So long, and thanks for your great work nevertheless!
Rhonda



--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.18.dfsg-3

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

libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
  to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
libwhy-coq_2.18.dfsg-3_all.deb
  to pool/main/w/why/libwhy-coq_2.18.dfsg-3_all.deb
why-examples_2.18.dfsg-3_all.deb
  to pool/main/w/why/why-examples_2.18.dfsg-3_all.deb
why_2.18.dfsg-3.diff.gz
  to pool/main/w/why/why_2.18.dfsg-3.diff.gz
why_2.18.dfsg-3.dsc
  to pool/main/w/why/why_2.18.dfsg-3.dsc
why_2.18.dfsg-3_i386.deb
  to pool/main/w/why/why_2.18.dfsg-3_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 524054@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 why 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: Thu, 16 Apr 2009 17:23:41 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source i386 all
Version: 2.18.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: 
 libjessie-ocaml-dev - Jessie library for code analysis
 libwhy-coq - Why library for Coq
 why        - A software verification tool
 why-examples - Examples of programs certified with Why
Closes: 524054
Changes: 
 why (2.18.dfsg-3) unstable; urgency=low
 .
   * Fix erroneous usage of ifdef in debian/rules.
   * why-examples depends on non-versioned libwhy-coq and why, thanks
     Lintian.
   * Make a long description for libwhy-coq, closes: #524054.
   * Bump standards version to 3.8.1, no changes needed
   * Jessie library:
     - Make jc_ast and jc_env fit in the pack
     - install jc.cmo and jc.cmx
     - Move the binary package to section ocaml
Checksums-Sha1: 
 fc573169cf603e56780e7d021d6840b15197e419 1452 why_2.18.dfsg-3.dsc
 3fa4a9e56e7b1a7740de839a4eb1b796995499e5 7899 why_2.18.dfsg-3.diff.gz
 0ccc13aa637449b16dc77f979110f24108169a52 4494880 why_2.18.dfsg-3_i386.deb
 0c5486439bf1fee7ed5e75be5cc456fa45af3533 290862 why-examples_2.18.dfsg-3_all.deb
 9b88b9c4de511814a6f3c72e00fd063eefbd589f 1113178 libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
 4cfd4985cf5af989259d5e90165be122761232e2 383100 libwhy-coq_2.18.dfsg-3_all.deb
Checksums-Sha256: 
 ddf2d97b07eedb414d170afebd6cff71925fc4948388a6af49416049ce926518 1452 why_2.18.dfsg-3.dsc
 5b54eb065eda8eff489a32490f2f58f800f5d16ffac64b262b9c8701da82e1d4 7899 why_2.18.dfsg-3.diff.gz
 18c0fbbd7b0a9529223964267734d61d80f52d1ab19612e31cab9833b75828cd 4494880 why_2.18.dfsg-3_i386.deb
 79797ab60e7abde1b93f35a046e100105db9eef02621448d20c88a5953972e38 290862 why-examples_2.18.dfsg-3_all.deb
 032107d4ebd04e49868bc336927609490ac1d6f4356e78ead5af63cad7518fac 1113178 libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
 6cd16ddb0d2839112e0f195845c1586a83a7536dec0443e4f6e0dfcf6aa1c633 383100 libwhy-coq_2.18.dfsg-3_all.deb
Files: 
 3887e3c27f94c8ef624133e91864149e 1452 math optional why_2.18.dfsg-3.dsc
 a32673785b7b5ecef0ee8376ad937aeb 7899 math optional why_2.18.dfsg-3.diff.gz
 f838f9ea96601f69880a50b890403e06 4494880 math optional why_2.18.dfsg-3_i386.deb
 f84433aed62ad3157e8687631937e900 290862 doc optional why-examples_2.18.dfsg-3_all.deb
 f732a5f287b3dc7d80a11adb5c7b2119 1113178 ocaml optional libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
 a430a2bd80cde95f47ce6dc9970ddf48 383100 libdevel optional libwhy-coq_2.18.dfsg-3_all.deb

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

iEYEARECAAYFAkoNmxkACgkQhryr/xwAx5BWVgCgi6mCa8YQpceC8xM2JQmtnN9t
LzYAoLDeuctmt5xmtZk8hV3OleY1+dkI
=OCPY
-----END PGP SIGNATURE-----



--- End Message ---

Reply to: