Debian Package Tracker
Register | Log in
Subscribe

covered

Verilog code coverage analysis tool

Choose email to subscribe with

general
  • source: covered (main)
  • version: 0.7.10-5
  • maintainer: Debian Electronics Team (archive) (DMD)
  • uploaders: أحمد المحمودي (Ahmed El-Mahmoudy) [DMD]
  • arch: all any
  • std-ver: 4.7.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 0.7.10-3.1
  • stable: 0.7.10-5
  • testing: 0.7.10-5
  • unstable: 0.7.10-5
versioned links
  • 0.7.10-3.1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 0.7.10-5: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • covered (1 bugs: 0, 1, 0, 0)
  • covered-doc
action needed
Marked for autoremoval on 19 September due to gplcver: #1096464, #1096757 high
Version 0.7.10-5 of covered is marked for autoremoval from testing on Fri 19 Sep 2025. It is affected by #1096464. It depends (transitively) on gplcver, affected by #1096757. You should try to prevent the removal by fixing these RC bugs.
Created: 2025-09-04 Last update: 2025-09-09 19:32
Fails to build during reproducibility testing normal
A package building reproducibly enables third parties to verify that the source matches the distributed binaries. It has been identified that this source package produced different results, failed to build or had other issues in a test environment. Please read about how to improve the situation!
Created: 2025-08-04 Last update: 2025-09-09 16:00
12 new commits since last upload, is it time to release? normal
vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:
commit 3ff8ae4c8cf74e9cc17a10a21c09300caa658fd9
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 11:17:45 2025 +0200

    Revert c17 change
    
    Gbp-Dch: ignore

commit 2ed6fbab05736a62d86d7f151e6b4b188a576aad
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 10:43:04 2025 +0200

    Fix patch again
    
    Gbp-Dch: ignore

commit 162210c6a93070278ea193d972737fb5ce3e27da
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 10:15:29 2025 +0200

    Try c17 instead of gnu17
    
    Gbp-Dch: ignore

commit 5b8287e28867502e98596b7fca8fb321ace525b3
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 10:01:22 2025 +0200

    Try c17 instead of gnu17
    
    Gbp-Dch: ignore

commit 0cbfbc7b43082d89dee144e557a0b455ecc2c138
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 09:16:18 2025 +0200

    Fix patch again
    
    Gbp-Dch: ignore

commit e8cdb286cb93f1ae84c09a968becd2adfbc4904f
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 09:07:06 2025 +0200

    Fix patch again
    
    Gbp-Dch: ignore

commit c4df87baff3cccf03768e77c7e1536b1c5718cb2
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 08:54:57 2025 +0200

    Fix patch
    
    Gbp-Dch: ignore

commit a73f0705e7915133acd8593edce40c8f338fa3cf
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Fri Sep 5 08:37:48 2025 +0200

    Add fix-gcc15-ftbfs.patch to fix FTBFS with gcc-15
    
    Closes: #1096464

commit 2ce6eb83ab81d23bfd44fbe6e50568c5c1f58dfb
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date:   Tue Sep 2 20:05:10 2025 +0200

    quilt is the default now

commit 52bff13a47f78b274be01410559eaaad30df80a2
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Sun Aug 10 00:45:40 2025 +0200

    d/control: bump standards version to 4.7.2

commit 6be33234ef377ec0a43fe3f6b745a8c59d913dae
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Sun Aug 10 00:44:16 2025 +0200

    Update copyright years

commit 2aa211335ba788aa83d2c7c7751b48c594d49500
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Date:   Sun Aug 10 00:42:18 2025 +0200

    d/control: mark covered-doc as Multi-Arch: foreign
Created: 2025-08-09 Last update: 2025-09-05 10:02
lintian reports 3 warnings normal
Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2024-12-08 Last update: 2025-04-10 14:00
Multiarch hinter reports 1 issue(s) low
There are issues with the multiarch metadata for this package.
  • covered-doc could be marked Multi-Arch: foreign
Created: 2016-09-14 Last update: 2025-09-09 17:00
debian/patches: 1 patch to forward upstream low

Among the 6 debian patches available in version 0.7.10-5 of the package, we noticed the following issues:

  • 1 patch where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.
Created: 2023-02-26 Last update: 2024-12-08 07:31
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.2 instead of 4.7.0).
Created: 2025-02-21 Last update: 2025-02-27 13:24
news
[rss feed]
  • [2024-12-13] covered 0.7.10-5 MIGRATED to testing (Debian testing watch)
  • [2024-12-07] Accepted covered 0.7.10-5 (source) into unstable (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: أحمد المحمودي)
  • [2024-09-05] covered REMOVED from testing (Debian testing watch)
  • [2024-07-31] covered 0.7.10-4 MIGRATED to testing (Debian testing watch)
  • [2024-04-28] covered REMOVED from testing (Debian testing watch)
  • [2023-06-13] covered 0.7.10-4 MIGRATED to testing (Debian testing watch)
  • [2023-04-18] Accepted covered 0.7.10-4 (source) into unstable (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: أحمد المحمودي)
  • [2022-02-20] covered REMOVED from testing (Debian testing watch)
  • [2021-01-08] covered 0.7.10-3.1 MIGRATED to testing (Debian testing watch)
  • [2021-01-02] Accepted covered 0.7.10-3.1 (source) into unstable (Holger Levsen)
  • [2015-06-23] covered 0.7.10-3 MIGRATED to testing (Britney)
  • [2015-06-17] Accepted covered 0.7.10-3 (source all) into unstable (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: أحمد المحمودي)
  • [2014-08-18] covered 0.7.10-2 MIGRATED to testing (Britney)
  • [2014-08-12] Accepted covered 0.7.10-2 (source amd64 all) into unstable (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: أحمد المحمودي)
  • [2011-02-06] covered 0.7.10-1 MIGRATED to testing (Debian testing watch)
  • [2010-12-09] Accepted covered 0.7.10-1 (source i386 all) (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: أحمد المحمودي)
  • [2010-11-22] Accepted covered 0.7.9-1 (source i386 all) (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: أحمد المحمودي)
  • [2010-05-09] covered 0.7.8-2 MIGRATED to testing (Debian testing watch)
  • [2010-04-28] Accepted covered 0.7.8-2 (source i386 all) (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: أحمد المحمودي)
  • [2010-04-17] covered 0.7.8-1 MIGRATED to testing (Debian testing watch)
  • [2010-04-06] Accepted covered 0.7.8-1 (source i386 all) (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: Wesley J. Landaker)
  • [2009-11-09] covered 0.7.7-1 MIGRATED to testing (Debian testing watch)
  • [2009-10-29] Accepted covered 0.7.7-1 (source i386 all) (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: Barry deFreese)
  • [2009-10-22] covered 0.7.6-1 MIGRATED to testing (Debian testing watch)
  • [2009-10-11] Accepted covered 0.7.6-1 (source i386 all) (أحمد المحمودي (Ahmed El-Mahmoudy)) (signed by: Wesley J. Landaker)
bugs [bug history graph]
  • all: 2
  • RC: 1
  • I&N: 1
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 3)
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 0.7.10-5

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing