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

Bug#539883: marked as done (ITP: covered -- Verilog code coverage analysis tool)

Your message dated Sun, 11 Oct 2009 16:10:29 +0000
with message-id <E1Mx109-0005Lf-SU@ries.debian.org>
and subject line Bug#539883: fixed in covered 0.7.6-1
has caused the Debian Bug report #539883,
regarding ITP: covered -- Verilog code coverage analysis tool
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.)


-- 
539883: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=539883
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: "أحمد المحمودي" <aelmahmoudy@users.sourceforge.net>


* Package name    : covered
  Version         : 0.7.5
  Upstream Author : Trevor Williams <phase1geo@gmail.com>
* URL             : http://covered.sourceforge.net/
* License         : GPL-2+
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.
  Programming Lang: C, Tcl
  Description     : Verilog code coverage analysis tool
 Covered is a Verilog code coverage utility that reads in a Verilog design and
 a generated VCD/LXT dumpfile from that design and generates a coverage file
 that can be merged with other coverage files or used to create a coverage
 report. Covered also contains the GUI coverage report utility that reads in a
 coverage file to allow interactive coverage discovery. Areas of coverage
 measured by Covered are: line, toggle, memory, combinational logic, FSM
 state/state-transition and assertion coverage.

-- System Information:
Debian Release: 5.0
  APT prefers jaunty-updates
  APT policy: (500, 'jaunty-updates'), (500, 'jaunty-security'), (500, 'jaunty-proposed'), (500, 'jaunty-backports'), (500, 'jaunty')
Architecture: i386 (i686)

--- End Message ---
--- Begin Message --- 
Source: covered
Source-Version: 0.7.6-1

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

covered-doc_0.7.6-1_all.deb
  to pool/main/c/covered/covered-doc_0.7.6-1_all.deb
covered_0.7.6-1.diff.gz
  to pool/main/c/covered/covered_0.7.6-1.diff.gz
covered_0.7.6-1.dsc
  to pool/main/c/covered/covered_0.7.6-1.dsc
covered_0.7.6-1_i386.deb
  to pool/main/c/covered/covered_0.7.6-1_i386.deb
covered_0.7.6.orig.tar.gz
  to pool/main/c/covered/covered_0.7.6.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 539883@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net> (supplier of updated covered 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, 27 Aug 2009 20:22:43 +0300
Source: covered
Binary: covered covered-doc
Architecture: source i386 all
Version: 0.7.6-1
Distribution: unstable
Urgency: low
Maintainer: Debian Electronics Team <pkg-electronics-devel@lists.alioth.debian.org>
Changed-By: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Description: 
 covered    - Verilog code coverage analysis tool
 covered-doc - Verilog code coverage analysis tool - documentation
Closes: 539883
Changes: 
 covered (0.7.6-1) unstable; urgency=low
 .
   * Initial release (Closes: #539883)
   * Added tclscript_install.diff to
     + install Tcl scripts without setting the executable bit
     + remove shebang from main_view.tcl
Checksums-Sha1: 
 ee9b99f070fafa576665af9909e5b49eca2ec26e 1411 covered_0.7.6-1.dsc
 e64e9649fa3fd94240ebf9c4539f20539e9da4fb 2964008 covered_0.7.6.orig.tar.gz
 49410885fe47603c63e740228636e8ad3523497b 3034 covered_0.7.6-1.diff.gz
 0ed8c98c5b7beced83b0e71010ce8034e93cdc5f 777006 covered_0.7.6-1_i386.deb
 367b863ad359dfe83244f7cc1731b24ba24a07cf 1829142 covered-doc_0.7.6-1_all.deb
Checksums-Sha256: 
 f8af1050ca0e02b7878d1e5f684c64dbe00a7d0c4a37aa7c33df26dfbef57a4f 1411 covered_0.7.6-1.dsc
 e50e75569e27078dc3ff0a5b5ba6f85e5e2916b5837dd5f28c9b35446e0916bf 2964008 covered_0.7.6.orig.tar.gz
 18ef661f8842c6136556541ff2f5d98ce20481f77665645301e3791faf737738 3034 covered_0.7.6-1.diff.gz
 e2d4cd65827a1dc7b21483b4d114b46ae224f0a617c629099dc4a10aaecfe1f2 777006 covered_0.7.6-1_i386.deb
 60a0832758057b64956f322208f3dd8332baddbf097e9ce56900be68be6ef8d1 1829142 covered-doc_0.7.6-1_all.deb
Files: 
 d5e86c6f81bf31e7ded77058a69319a6 1411 electronics optional covered_0.7.6-1.dsc
 fe88227634b3ff840a3645784ce05f8c 2964008 electronics optional covered_0.7.6.orig.tar.gz
 09fb945cd9371d81f9592ef5eed63bbd 3034 electronics optional covered_0.7.6-1.diff.gz
 e24499b630bc0b5a4ed0790780ebbe83 777006 electronics optional covered_0.7.6-1_i386.deb
 edda917226b2b68f6f66dcd63607b3cf 1829142 doc optional covered-doc_0.7.6-1_all.deb

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

iEYEARECAAYFAkrPe30ACgkQ8KmKTEzW49JO/QCfXfW2iKSFnB3Vlkthm8oypF92
QGUAnApMhhIZH/7IQozqyf47VclL1ZTq
=qsiq
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: