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

Packages

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

Ссылки для libcryptominisat5-5.11t64

Ресурсы Debian:

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

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

• [cryptominisat_5.11.21+dfsg1-3.dsc]
• [cryptominisat_5.11.21+dfsg1.orig.tar.xz]
• [cryptominisat_5.11.21+dfsg1-3.debian.tar.xz]

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

• Debian Science Maintainers (Страница КК, Почтовый архив)
• Julian Rüth (Страница КК)
• Julien Puydt (Страница КК)

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

• Сайт [www.msoos.org]

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

• libcryptominisat5-5.8
• libcryptominisat5-5.11
• python3-cryptominisat
• libcryptominisat5-dev
• cryptominisat
• minisat
• sat4j
• picosat
• lib0install-solver-ocaml
• lib0install-solver-ocaml-dev
• clasp

Другие пакеты, относящиеся к libcryptominisat5-5.11t64

• dep: libc6 (>= 2.34) [не alpha, ia64, loong64, sh4]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.41) [loong64, sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, s390x, x32]

  вспомогательная библиотека GCC

  dep: libgcc-s1 (>= 3.4) [alpha, mips64el, riscv64, sparc64]

  dep: libgcc-s1 (>= 3.4.4) [ppc64, ppc64el]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [i386, ia64, sh4]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  вспомогательная библиотека GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  вспомогательная библиотека GCC

• dep: libstdc++6 (>= 13.1)

  стандартная библиотека GNU C++ версии 3

• dep: libunwind8 [ia64]

  библиотека для выявления цепочки вызовов функций в программе

Загрузка libcryptominisat5-5.11t64