не показывать навигацию

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Пакеты / buster (oldoldstable) / java / libz3-java

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

[ Источник: z3  ]

Ссылки для libz3-java

Ресурсы Debian:

• Сообщения об ошибках
• Developer Information
• Debian журнал изменений
• Файл авторских прав
• Отслеживание заплат Debian

Исходный код z3:

• [z3_4.4.1-1~deb10u1.dsc]
• [z3_4.4.1.orig.tar.gz]
• [z3_4.4.1-1~deb10u1.debian.tar.xz]

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

• LLVM Packaging Team (Страница КК, Почтовый архив)
• Michael Tautschnig (Страница КК)

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

• Сайт [github.com]

Подобные пакеты:

• libz3-cil
• python-z3
• libz3-ocaml-dev
• python3-z3
• libz3-jni
• libz3-dev
• z3
• libz3-4
• liblastfm-java
• ladr4-apps
• libladr-dev

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

зависимости

рекомендации

предложения

enhances

• dep: libz3-dev

  theorem prover from Microsoft Research - development files

• dep: libz3-jni (<< 4.4.1-1~deb10u1.1~)

  theorem prover from Microsoft Research - JNI library

  dep: libz3-jni (>= 4.4.1-1~deb10u1)

Загрузка libz3-java

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	142,9 Кб	167,0 Кб	[список файлов]
arm64	142,9 Кб	167,0 Кб	[список файлов]
armhf	142,9 Кб	167,0 Кб	[список файлов]
i386	142,9 Кб	167,0 Кб	[список файлов]