все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

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

Ссылки для z3

Ресурсы Debian:

Сопровождающие:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
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

Другие пакеты, относящиеся к z3

  • для сборки
  • build-depends-indep

Download z3

ФайлРазмер (в Кб)Контрольная сумма MD5
z3_4.8.12-3.1.dsc 2,6 Кб f3d77f94d51ee80a31f4db0d00c71330
z3_4.8.12.orig.tar.gz 4 690,9 Кб 73fd07d094685039b03aed9e38040d13
z3_4.8.12-3.1.debian.tar.xz 10,2 Кб 632052111a73db41cad36b663acc1d58
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/pkg-llvm-team/z3.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/pkg-llvm-team/z3