[  etiona  ] [  nabia  ] [  aramo  ]

depqbf 的相關超連結

Trisquel 的資源：

• 報告問題
• Changelog
• 版權文件
• Debian 原始碼倉庫 (Git)

維護者：

• Debian Science Maintainers (郵件存檔)

Original Maintainers:

• Debian Science Maintainers (郵件存檔)
• Thomas Krennwallner

外部的資源：

• 主頁 [lonsing.github.io]

本原始碼套件構建了以下這些二進制套件：

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-3.dsc	1.9 kB	5b2afbfaa9d8f0ae9217e2efc4b0ce31
depqbf_5.01.orig.tar.gz	419.8 kB	577d2a77c592ec87660811dd61482abf
depqbf_5.01-3.debian.tar.xz	4.9 kB	56ccd9fccabfc46fcf2cf107350c8dc0

Debian 套件原始碼倉庫(VCS: Git)

https://salsa.debian.org/science-team/depqbf.git

Debian 套件原始碼倉庫(可在線瀏覽)

https://salsa.debian.org/science-team/depqbf