[  etiona  ] [  nabia  ] [  aramo  ]

[ Pakiet źródłowy: cbmc  ]

Odnośniki dla cbmc

Zasoby systemu Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego cbmc:

• [cbmc_5.12-5.dsc]
• [cbmc_5.12.orig-java-models-library.tar.gz]
• [cbmc_5.12.orig.tar.gz]
• [cbmc_5.12-5.debian.tar.xz]

Opiekun:

• Michael Tautschnig

Original Maintainer:

• Michael Tautschnig

Zasoby zewnętrzne:

• Strona internetowa [www.cprover.org]

Podobne pakiety:

• libtime-progress-perl
• uftrace
• libdevel-simpletrace-perl
• rumur
• libpath-iterator-rule-perl
• libtest-assertions-perl
• tcc
• splint
• splint-data
• splint-doc-html
• libanyevent-perl

Inne pakiety związane z cbmc

wymaga

poleca

sugeruje

• dep: gcc

  GNU C compiler

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s1 (>= 3.4) [amd64]

  GCC support library

  dep: libgcc-s1 (>= 3.5) [armhf]

  dep: libgcc-s1 (>= 4.2) [arm64, ppc64el]

• dep: libstdc++6 (>= 9)

  GNU Standard C++ Library v3

• dep: minisat

  Fast and lightweight SAT solver

• sug: gdb

  GNU Debugger

Pobieranie cbmc

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	17 633,9 KiB	67287 KiB	[lista plików]
arm64	13 146,2 KiB	58366 KiB	[lista plików]
armhf	10 924,0 KiB	39742 KiB	[lista plików]
ppc64el	17 200,0 KiB	75415 KiB	[lista plików]