[ bullseye ] [ trixie ] [ sid ]

Pakiet źródłowy: cbmc (6.6.0-4)

Odnośniki dla cbmc

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

adep: debhelper-compat (= 13)

Pakiet niedostępny
adep: bison

YACC-compatible parser generator
adep: flex

Szybki generator analizatorów leksykalnych
adep: minisat (>= 1:2.2.1-2)

Fast and lightweight SAT solver
adep: zlib1g-dev

Biblioteka do kompresji danych - pliki deweloperskie
adep: gdb [amd64]

GNU Debugger
również pakiet wirtualny udostępniany przez gdb-minimal
adep: libxml2-utils

GNOME XML library - utilities
adep: python-is-python3

symlinks /usr/bin/python to python3
adep: z3 [nie sh4]

Narzędzie do udowadniania twierdzeń firmy Microsoft Research
adep: cvc5 [nie armel armhf hppa hurd-amd64 hurd-i386 i386 ia64 loong64 mips64el powerpc sh4 x32]

automated theorem prover for SMT problems
adep: default-jdk-headless [nie arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Standard Java or Java compatible Development Kit (headless)
adep: libmaven-dependency-plugin-java [nie arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Maven Dependency Plugin
adep: libmaven-install-plugin-java [nie arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Maven install plugin
adep: libmaven-resources-plugin-java [nie arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Maven resources plugin
adep: maven-debian-helper [nie arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Helper tools for building Debian packages with Maven

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
cbmc_6.6.0-4.dsc	3,1 KiB	9be5c467b4b3c1919b88ce9ffdbc07c0
cbmc_6.6.0.orig-java-cprover-api.tar.gz	14,2 KiB	245cc4a092fb84d4c8a1333c793f1adc
cbmc_6.6.0.orig-java-models-library.tar.gz	292,2 KiB	6ba4b12d1ad0ee6f917128fa61df4015
cbmc_6.6.0.orig.tar.gz	8 932,3 KiB	5f5dabbc1f59abe75f322566d86a9f10
cbmc_6.6.0-4.debian.tar.xz	16,1 KiB	be6798a9aa89cf33e3b748d0e553650d