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

Bug#557458: marked as done (Typo in package description: "This packages")

Your message dated Thu, 03 Dec 2009 12:32:25 +0000
with message-id <E1NGArB-0006eR-Gl@ries.debian.org>
and subject line Bug#557458: fixed in coq 8.2.pl1+dfsg-4
has caused the Debian Bug report #557458,
regarding Typo in package description: "This packages"
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.)


-- 
557458: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=557458
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: coq
Version: 8.2.pl1+dfsg-3
Severity: minor
User: ubuntu-devel@lists.ubuntu.com
Usertags: origin-ubuntu lucid

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

The package description contains a small typo:
 This packages provides ...
Should be:
 This package provides ...

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

iEYEARECAAYFAksJEFMACgkQuoq9E0RAnd7XOgCfcMcqmgI9rU1b8V57djZ4J6gQ
50MAn0mu8W+NXvE7hmxsu/J+s8CVgTKg
=AXa6
-----END PGP SIGNATURE-----

--- End Message ---
--- Begin Message --- 
Source: coq
Source-Version: 8.2.pl1+dfsg-4

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

coq-theories_8.2.pl1+dfsg-4_all.deb
  to main/c/coq/coq-theories_8.2.pl1+dfsg-4_all.deb
coq_8.2.pl1+dfsg-4.diff.gz
  to main/c/coq/coq_8.2.pl1+dfsg-4.diff.gz
coq_8.2.pl1+dfsg-4.dsc
  to main/c/coq/coq_8.2.pl1+dfsg-4.dsc
coq_8.2.pl1+dfsg-4_amd64.deb
  to main/c/coq/coq_8.2.pl1+dfsg-4_amd64.deb
coqide_8.2.pl1+dfsg-4_amd64.deb
  to main/c/coq/coqide_8.2.pl1+dfsg-4_amd64.deb
libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
  to main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-4_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 557458@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated coq 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: SHA512

Format: 1.8
Date: Thu, 03 Dec 2009 11:54:58 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2.pl1+dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 557458
Changes: 
 coq (8.2.pl1+dfsg-4) unstable; urgency=low
 .
   [ Stefano Zacchiroli ]
   * debian/control: fix typo in long description (Closes: #557458)
 .
   [ Stéphane Glondu ]
   * Switch to dh-ocaml 0.9
Checksums-Sha1: 
 8ec1277d605532b2b092263392b7d97db564044c 2218 coq_8.2.pl1+dfsg-4.dsc
 aa7cfe9758a4bcf4c623c4f3677dad58320ab069 15396 coq_8.2.pl1+dfsg-4.diff.gz
 a888a4252bc64048c77aa2e754579c3165d46f2e 18385480 coq-theories_8.2.pl1+dfsg-4_all.deb
 9c279bb5de0c0439669354e8af102761b8a93d28 15313334 coq_8.2.pl1+dfsg-4_amd64.deb
 9b8192aee041fc35fbb7d581c1631d690551ddc3 6536918 coqide_8.2.pl1+dfsg-4_amd64.deb
 c2a4417057ea2eec0d8947a631dde711a450be16 6063248 libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
Checksums-Sha256: 
 951f4b42bd6803bf9fcd50a7956e09b77546ea3c58d04091f85653929092ff4f 2218 coq_8.2.pl1+dfsg-4.dsc
 9b264f09b18e3b63d35e0e599f7280892968bf7e1676bed7b0b86280727d0be5 15396 coq_8.2.pl1+dfsg-4.diff.gz
 b7f2a1ff4eb9818123c1005bc36f686b3754f8938ba372a3c581f4ae5bd8886f 18385480 coq-theories_8.2.pl1+dfsg-4_all.deb
 8b09e36728583b8a9106be8f4532ad8c19283f641c88574bc9eb61ab03140239 15313334 coq_8.2.pl1+dfsg-4_amd64.deb
 7f879b5265e2b847ea3ee7b5fb21a35ec2f470e085e1c79974440fd3d7250b41 6536918 coqide_8.2.pl1+dfsg-4_amd64.deb
 34414d2352171d11f9ff17d381be975c4359c0e7d5f849151460649c5a9c0c98 6063248 libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
Files: 
 968b2e275361399771da9a87081b642c 2218 math optional coq_8.2.pl1+dfsg-4.dsc
 fb663a24f301895c6517012b1b13af1f 15396 math optional coq_8.2.pl1+dfsg-4.diff.gz
 f7a492a669338fcd51a13a42da1dc1f4 18385480 math optional coq-theories_8.2.pl1+dfsg-4_all.deb
 f51e65d94efac414f17416aa649f269a 15313334 math optional coq_8.2.pl1+dfsg-4_amd64.deb
 344b2db82d2dd501341df6825c544349 6536918 math optional coqide_8.2.pl1+dfsg-4_amd64.deb
 e8d1ee72043f2d299c9e3ee996a8812d 6063248 ocaml optional libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb

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

iQIcBAEBCgAGBQJLF6xAAAoJEHhT2k1JiBrT/cIQAJHSIsKkAqeNRzsSW4mFVwG7
D8a62qZO0QFwsed2QQ3TqQ1acFLzr6cFClYo8utlynbiFvgOqNM0Vey3mlWP1Zab
eSppZSwdmx+/7HsuXpDhMSyZRLwM259biQwlhzPAREKVfXzjH1qzcTE8lTi71G7O
VdsX+tBaRv0frGdVb1X+79P2niS+/cLryD6cWihI8D88np8wOfQFgxSUMPQ6qabj
62hggUIU/LOy5aE13qPfoG11xmqFOxdboovBC/w31aibax8gyp7AI8v8pkk4rsTd
pbixvHkxyTPwOM3+eH9QOs4aRHnoq7lzS967bJAm8kMIKd9tcb3Drh4IeaEptOYD
zyQfPsrKUIsfugdtsOydoLnrVnc0brMhMuwK+TcDXr0/R/BbXtDpYF5+H5lO6kwK
V868raRxxwmV7dqC9dCUcCQCtKrtZ4PQ5D5ctTZdqsP6dHaQB15L9kp0vR+FjCr5
HMuOuFICB/QU9PCQpxse5Frslj5CxFrrOR/gpaXMP51cXPduRdkRILlHhXrvkClH
LX4t60N2Fq4vWvRnqDRXu46H8k+KYD/08kZQJcbFnSmhAZmfuwXY865zuCO03qLQ
GAR0tpGXjCIKJUujYGxHnn8dIHkktV0fVnrUK5wiqBj3rP/CI2He7FnQ9qFwBo2g
Rqv9B86zXV2lc4uYtLgm
=gD1q
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: