[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Пакет исходного кода: cbmc (5.95.1-4ubuntu1) [universe]

Ссылки для cbmc

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

Из этого пакета исходного кода собираются следующие двоичные пакеты:

adep: debhelper-compat (= 13)

Пакет недоступен
adep: bison

YACC-compatible parser generator
adep: flex

fast lexical analyzer generator
adep: minisat (>= 1:2.2.1-2)

Fast and lightweight SAT solver
adep: zlib1g-dev

compression library - development
adep: gdb [amd64]

GNU Debugger
adep: libxml2-utils

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

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

theorem prover from Microsoft Research
adep: cvc5 [не armel armhf hppa hurd-amd64 hurd-i386 i386 ia64 loong64 mips64el powerpc sh4 x32]

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

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

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

Maven install plugin
adep: maven-debian-helper [не arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Helper tools for building Debian packages with Maven

Файл	Размер (в Кб)	Контрольная сумма MD5
cbmc_5.95.1-4ubuntu1.dsc	3,1 Кб	3909520534b1169d5194ed903e24ba59
cbmc_5.95.1.orig-java-cprover-api.tar.gz	14,2 Кб	245cc4a092fb84d4c8a1333c793f1adc
cbmc_5.95.1.orig-java-models-library.tar.gz	292,2 Кб	6ba4b12d1ad0ee6f917128fa61df4015
cbmc_5.95.1.orig.tar.gz	8 860,8 Кб	05f0e4a4a3e7e2830c3be3b9398018de
cbmc_5.95.1-4ubuntu1.debian.tar.xz	15,1 Кб	82e486c2e85f79f7f579e4821bd28fcc