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

Пакет исходного кода: z3 (4.8.12-3.1)

Ссылки для z3

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

libz3-4: средство доказательства теорем от Microsoft Research — библиотеки
libz3-dev: средство доказательства теорем от Microsoft Research — файлы для разработки
libz3-java: средство доказательства теорем от Microsoft Research — привязки Java
libz3-jni: средство доказательства теорем от Microsoft Research — библиотека JNI
python3-z3: средство доказательства теорем от Microsoft Research — привязки Python 3
z3: средство доказательства теорем от Microsoft Research

adep: debhelper-compat (= 13)

Пакет недоступен
adep: dh-python

Debian helper tools for packaging Python libraries and applications
adep: python3

interactive high-level object-oriented language (default python3 version)
adep: cmake

платформонезависимая система сборки с открытым исходным кодом
adep: libsimde-dev

Implementations of SIMD instructions for all systems
adep: javahelper [не hppa hurd-i386 m68k sh4]

Helper scripts for packaging Java programs
adep: default-jdk [не hppa hurd-i386 m68k sh4]

Standard Java or Java compatible Development Kit

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/pkg-llvm-team/z3.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/pkg-llvm-team/z3