» 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 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)
  • adep: debhelper (>= 11)
    helper programs for debian/rules
  • adep: dpkg-dev (>= 1.16.1~)
    Debian package development tools

Download depqbf

ファイルサイズ (単位: kB)MD5 チェックサム
depqbf_5.01.orig.tar.gz 419.8 kB 577d2a77c592ec87660811dd61482abf
depqbf_5.01-3build1.debian.tar.xz 5.0 kB 2402587f46c5fbaffb9fc12d906e4d2f
depqbf_5.01-3build1.dsc 1.9 kB 02414214c2607dc2688c6762ebdcb32c
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/science-team/depqbf.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/science-team/depqbf