Paquet source : creduce (2.9~20181016-1)
Liens pour creduce
Ressources Debian :
Responsables :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- creduce
- Test-Case Reduction for C Compiler Bugs
Autres paquets associés à creduce
-
- adep:
debhelper
(>= 9)
- programmes assistants pour debian/rules
-
- adep:
dh-autoreconf
- module debhelper pour invoquer autoconf et nettoyer après la construction
-
- adep:
flex
- générateur rapide d'analyse lexicale
-
- adep:
libedit-dev
- Bibliothèques editline et history de BSD (fichiers de développement)
-
- adep:
zlib1g-dev
- bibliothèque de compression — paquet de développement
-
- adep:
llvm-7-dev
- technologies de compilateur et de chaîne de compilation modulaires –⋅bibliothèques et en-têtes
-
- adep:
libclang-7-dev
- Clang library - Development package
-
- adep:
clang-7
- compilateur⋅C, C++ et Objective-C
-
- adep:
clang-format-7
- outil pour formater du code C, C++ ou Objective-C
-
- adep:
libbenchmark-timer-perl
- module de mesure de performance avec une fiabilité statistique
-
- adep:
libfile-which-perl
- Perl module for searching paths for executable programs
-
- adep:
libregexp-common-perl
- module with common regular expressions
-
- adep:
libexporter-lite-perl
- lightweight subset of Exporter
-
- adep:
libgetopt-tabular-perl
- table-driven argument parsing for Perl 5
-
- adep:
libterm-readkey-perl
- perl module for simple terminal control
-
- adep:
frama-c-base
- Platform dedicated to the analysis of source code written in C (without gui)