Skip to content
Sections
>> Trisquel >> Packages >> nabia >> Source >> electronics >> covered
etiona  ] [  nabia  ] [  aramo  ]

Source Package: covered (0.7.10-3build1)

Links for covered

Trisquel Resources:

Maintainer:

Original Maintainers:

  • Debian Electronics Team (Mail Archive)
  • أحمد المحمودي (Ahmed El-Mahmoudy)

External Resources:

The following binary packages are built from this source package:
covered
Verilog code coverage analysis tool
covered-doc
Verilog code coverage analysis tool - documentation

Other Packages Related to covered

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 9)
    helper programs for debian/rules
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: flex
    fast lexical analyzer generator
  • adep: bison
    YACC-compatible parser generator
  • adep: gperf
    Perfect hash function generator
  • adep: tcl-dev
    Tool Command Language (default version) - development files
  • adep: tk-dev
    Toolkit for Tcl and X11 (default version) - development files
  • adep: libxft2-dev
    virtual package provided by libxft-dev
  • adep: iverilog
    Icarus verilog compiler
    or verilog
    virtual package provided by iverilog
  • adep: gplcver (>= 2.12a-1.1)
    Verilog simulator

Download covered

FileSize (in kB)MD5 checksum
covered_0.7.10-3build1.dsc 2.2 kB 205180ee66cfd65a5057f21458baac4b
covered_0.7.10.orig.tar.gz 3,035.4 kB 7f79e93471546810b166e9104236bda2
covered_0.7.10-3build1.debian.tar.xz 4.9 kB 48bb303096944bee6c451dd552355e09
Debian Package Source Repository (VCS: Git)
git://anonscm.debian.org/pkg-electronics/covered.git
Debian Package Source Repository (Browsable)
http://anonscm.debian.org/gitweb/?p=pkg-electronics/covered.git