[ buster ]

Source Package: undertaker (1.6.1-4.2)

Links for undertaker

The following binary packages are built from this source package:

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 Python2 runtime versions

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