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

Bug#577187: marked as done (ITP: verilator -- fast free Verilog simulator)

Your message dated Tue, 25 May 2010 10:47:51 +0000
with message-id <E1OGrfr-0005o9-HI@ries.debian.org>
and subject line Bug#577187: fixed in verilator 3.801-1
has caused the Debian Bug report #577187,
regarding ITP: verilator -- fast free Verilog simulator
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.)


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


* Package name    : verilator
  Version         : 3.801
  Upstream Author : Wilson Snyder <wsnyder@wsnyder.org>
* URL             : http://www.veripool.org/wiki/verilator
* License         : Artistic-2.0 or LGPL-3
  Programming Lang: C++, Perl
  Description     : fast free Verilog simulator

 Verilator is the fastest free Verilog HDL simulator, and beats many commercial
 simulators. It compiles synthesizable Verilog (not test-bench code!), plus
 some PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code.
 It is designed for large projects where fast simulation performance is of
 primary concern, and is especially well suited to generate executable models
 of CPUs for embedded software design teams.

-- 
 ‎أحمد المحمودي (Ahmed El-Mahmoudy)
  Digital design engineer
 GPG KeyID: 0xEDDDA1B7
 GPG Fingerprint: 8206 A196 2084 7E6D 0DF8  B176 BC19 6A94 EDDD A1B7

--- End Message ---
--- Begin Message --- 
Source: verilator
Source-Version: 3.801-1

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

verilator_3.801-1.debian.tar.gz
  to main/v/verilator/verilator_3.801-1.debian.tar.gz
verilator_3.801-1.dsc
  to main/v/verilator/verilator_3.801-1.dsc
verilator_3.801-1_i386.deb
  to main/v/verilator/verilator_3.801-1_i386.deb
verilator_3.801.orig.tar.gz
  to main/v/verilator/verilator_3.801.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 577187@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org> (supplier of updated verilator 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: Wed, 21 Apr 2010 23:33:46 +0200
Source: verilator
Binary: verilator
Architecture: source i386
Version: 3.801-1
Distribution: unstable
Urgency: low
Maintainer: Debian Electronics Team <pkg-electronics-devel@lists.alioth.debian.org>
Changed-By: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
Description: 
 verilator  - fast free Verilog simulator
Closes: 577187
Changes: 
 verilator (3.801-1) unstable; urgency=low
 .
   * New upstream release (Closes: #577187)
   * Switched to 3.0 (quilt) source format.
   * debian/control:
     + Set pkg-electronics as Maintainer and add myself to Uploaders.
     + Bumped Standards-Version to 3.8.4
     + Added proper Vcs-* fields.
     + Removed "the" from package description.
     + Added DMUA
   * debian/docs:
     + Remove README & readme.pod since they do not provide useful information
       to user.
     + Added verilator.html & verilator.pdf
   * debian/watch: set the upstream URL to one that can be checked.
   * Added manpage for verilator_profcfunc
   * Added debian/links, debian/doc-base, debian/manpages
   * Remove debian/dirs
   * debian/rules:
     + No more need to override dh_auto_test since upstream now skips SystemC
       tests if SystemC is not installed.
     + No need to override dh_auto_install
     + Override dh_installexamples to move examples dir from
       /usr/share/verilator to /usr/share/doc/verilator
   * Added install_perms.diff patch to install data files without executable
     permissions.
   * Added typos.diff patch to fix some spelling mistakes in verilator
     executable & manpage.
   * Added shebang.diff patch to add proper shebangs.
   * debian/copyright:
     + Converted to machine-readable format.
     + Changed packaging license to match that of upstream.
Checksums-Sha1: 
 eff24b4afb1c758e50401ecd519747d7fd534d65 1345 verilator_3.801-1.dsc
 20da19c6ca404a88374c3304f042ba625bbb2b6d 1501379 verilator_3.801.orig.tar.gz
 8c06c8df4760ba407f6b84bd9f394f1406ce5819 7864 verilator_3.801-1.debian.tar.gz
 0881ab1313d8165543621fde8e637f3eb7e9a828 2625130 verilator_3.801-1_i386.deb
Checksums-Sha256: 
 8cbfc60ba386b1c5a340ea91f6cee36460fd7007bf3225e514ca0d9ff63e5fe7 1345 verilator_3.801-1.dsc
 9192b200155d54a494f25611010fc0cb9e72857d87c199c2f731ab423c5cabe5 1501379 verilator_3.801.orig.tar.gz
 5171cc4c24df11e3abecbf46975b24beaf46459de296a0dc0436ad1f3f4a6e1a 7864 verilator_3.801-1.debian.tar.gz
 1790250a0ee01183442d71dccfafc92246cdde5f42d08836f13e54932f419b8e 2625130 verilator_3.801-1_i386.deb
Files: 
 c8d96b4d0592883ed60d0b6cf193691f 1345 electronics optional verilator_3.801-1.dsc
 ca7b264c571fc1a4b2257ae341f0796d 1501379 electronics optional verilator_3.801.orig.tar.gz
 cc0f7e1315535c1349465178f76a82d0 7864 electronics optional verilator_3.801-1.debian.tar.gz
 1f10a1db9f782f1cfc8ef3fda16a37a4 2625130 electronics optional verilator_3.801-1_i386.deb

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

iEYEARECAAYFAkvYoEUACgkQ8KmKTEzW49LgqwCggaMOe+ShNsC7Zj2N5Pe6hYHX
c60Amwb6EaCvcLzAGWGkH79s/mI3iNK3
=AHwk
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: