[ buster ]

Paquet source : undertaker (1.6.1-4.2)

Liens pour undertaker

Les paquets binaires suivants sont compilés à partir de ce paquet source :

undertaker: outil tenant compte de la variabilité pour l’analyse statique de code source

adep: bison

générateur d'analyseur syntaxique compatible avec YACC
adep: check

Structure de test unitaire pour le langage C
adep: debhelper (>= 9~)

programmes assistants pour debian/rules
adep: flex (>= 2.6.1)

générateur rapide d'analyse lexicale
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

bibliothèque statique pour flex –⋅un générateur rapide d'analyse lexicale
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)

solveur SAT avec gestion de démonstrations et « core »
adep: python-all (>= 2.6.6-3~)

package depending on all supported Python2 runtime versions

Dépôt Debian des paquets source (VCS: Git): git://git.debian.org/git/collab-maint/undertaker.git
Dépôt Debian des paquets source (interface web): http://git.debian.org/?p=collab-maint/undertaker.git