[ sid ]

[ Bron: ]

Pakket: cbmc-dbgsym (5.95.1-4) [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-4)

bounded model checker for C and C++ programs

cbmc-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ia64 (unofficial port)	535.843,4 kB	543.834,0 kB	[overzicht]