[ sid ]

[ Bron: ]

Pakket: cbmc-dbgsym (5.95.1-5) [debports]

Verwijzigingen voor cbmc-dbgsym

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Vergelijkbare pakketten:

debug symbols for cbmc

Andere aan cbmc-dbgsym gerelateerde pakketten

depends

recommends

suggests

enhances

dep: cbmc (= 5.95.1-5)

bounded model checker for C and C++ programs

cbmc-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ppc64 (unofficial port)	466.597,7 kB	475.277,0 kB	[overzicht]