[ buster ] [ bullseye ] [ trixie ] [ sid ]

Kaynak Paket: cbmc (6.4.1-2)

cbmc için bağlantılar

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:

adep: debhelper-compat (= 13)

Paket mevcut değil
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 değil]

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

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

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

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

Maven install plugin
adep: maven-debian-helper [arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64 değil]

Helper tools for building Debian packages with Maven

Dosya	Boyut (kB cinsinden)	MD5 sağlama toplamı
cbmc_6.4.1-2.dsc	3,0 kB	6eb5ea96e85fea219e2e4b8352252a78
cbmc_6.4.1.orig-java-cprover-api.tar.gz	14,2 kB	245cc4a092fb84d4c8a1333c793f1adc
cbmc_6.4.1.orig-java-models-library.tar.gz	292,2 kB	6ba4b12d1ad0ee6f917128fa61df4015
cbmc_6.4.1.orig.tar.gz	8.914,0 kB	90a01f7ceabdc36081bf002eed073973
cbmc_6.4.1-2.debian.tar.xz	17,9 kB	1e4b4d3273b75b810dd648f3eff580e9