» Ubuntu » Пакеты » resolute (26.04LTS) » Исходный код » interpreters » depqbf
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Пакет исходного кода: depqbf (5.01-3build1) [universe]

Ссылки для depqbf

Ресурсы Ubuntu:

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

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

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

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

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

  • для сборки
  • build-depends-indep
  • adep: debhelper (>= 11)
    helper programs for debian/rules
  • adep: dpkg-dev (>= 1.16.1~)
    Debian package development tools

Download depqbf

ФайлРазмер (в Кб)Контрольная сумма MD5
depqbf_5.01.orig.tar.gz 419,8 Кб 577d2a77c592ec87660811dd61482abf
depqbf_5.01-3build1.debian.tar.xz 5,0 Кб 2402587f46c5fbaffb9fc12d906e4d2f
depqbf_5.01-3build1.dsc 1,9 Кб 02414214c2607dc2688c6762ebdcb32c
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/science-team/depqbf.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/science-team/depqbf