Packages of Ubuntu / stonking

Component

Architecture

Package name

Version

Source package

Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
universe	amd64	cbmc	6.6.0-4ubuntu2	extra	86.9 kB	bounded model checker for C and C++ programs
universe	amd64	cbmc	6.6.0-4ubuntu2	extra	86.9 kB	bounded model checker for C and C++ programs
universe	amd64	cbmc	6.6.0-4ubuntu2	extra	86.9 kB	bounded model checker for C and C++ programs
universe	amd64	cbmc	6.6.0-4ubuntu2	extra	86.9 kB	bounded model checker for C and C++ programs
universe	amd64	cbmc	6.6.0-4ubuntu2	extra	86.9 kB	bounded model checker for C and C++ programs
universe	amd64	cbmc	6.6.0-4ubuntu2	extra	86.9 kB	bounded model checker for C and C++ programs
universe	amd64	cbmc	6.6.0-4ubuntu2	extra	86.9 kB	bounded model checker for C and C++ programs

Showing 1–7 of 7 packages

Page 1 of 1