Skip to content
Sections
>> Trisquel >> Packages >> etiona >> Source >> devel >> undertaker
etiona  ]

Source Package: undertaker (1.6.1-4.1build3)

Links for undertaker

Trisquel Resources:

Maintainer:

Original Maintainers:

  • Christoph Egger
  • Reinhard Tartler

External Resources:

  • Homepage [vamos.informatik.uni-erlangen.de]
The following binary packages are built from this source package:
undertaker
variability-aware tool for static code analysis

Other Packages Related to undertaker

  • build-depends
  • build-depends-indep
  • adep: bison
    YACC-compatible parser generator
  • adep: check
    unit test framework for C
  • adep: debhelper (>= 9~)
    helper programs for debian/rules
  • adep: flex (>= 2.6.1)
    fast lexical analyzer generator
  • adep: libboost-dev (>= 1.40)
    Boost C++ Libraries development files (default version)
  • adep: libboost-filesystem-dev (>= 1.40)
    filesystem operations (portable paths, iteration over directories, etc) in C++ (default version)
  • adep: libboost-regex-dev (>= 1.40)
    regular expression library for C++ (default version)
  • adep: libboost-thread-dev (>= 1.40)
    portable C++ multi-threading (default version)
  • adep: libboost-wave-dev (>= 1.40)
    C99/C++ preprocessor library (default version)
  • adep: libfl-dev
    static library for flex (a fast lexical analyzer generator)
  • adep: libpstreams-dev
    C++ iostream interface to POSIX process I/O
  • adep: libpuma-dev (>= 1:2.1)
    C/C++/AspectC++ Scanner and Parsers
  • adep: picosat (>= 960)
    SAT solver with proof and core support
  • adep: python-all (>= 2.6.6-3~)
    package depending on all supported Python runtime versions

Download undertaker

FileSize (in kB)MD5 checksum
undertaker_1.6.1-4.1build3.dsc 2.2 kB 25be491541269dfbe6dd9c79b4c3dac9
undertaker_1.6.1.orig.tar.xz 1,544.3 kB 06bab0b89f38e4b2f40b8c64c5d5a232
undertaker_1.6.1-4.1build3.debian.tar.xz 19.6 kB 4bba97b077f2056732646b86d70c0184
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/collab-maint/undertaker.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=collab-maint/undertaker.git