Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ソース >> misc >> python-pycosat
[  nabia  ] [  aramo  ]

ソースパッケージ: python-pycosat (0.6.3+dfsg-3build1)

python-pycosat に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainers:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
python3-pycosat
Python bindings to picosat

その他の python-pycosat 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)
  • adep: debhelper-compat (= 13)
    パッケージは利用できません
  • adep: dh-python
    Debian helper tools for packaging Python libraries and applications
  • adep: python3-all-dev
    package depending on all supported Python 3 development packages
  • adep: picosat
    SAT solver with proof and core support
  • adep: debhelper
    helper programs for debian/rules

Download python-pycosat

ファイルサイズ (単位: kB)MD5 チェックサム
python-pycosat_0.6.3+dfsg-3build1.dsc 2.1 kB 5053b48cc4c6afd492385ec582cf483e
python-pycosat_0.6.3+dfsg.orig.tar.xz 10.4 kB 91b837103124448cd6e1bc667d7a9034
python-pycosat_0.6.3+dfsg-3build1.debian.tar.xz 3.2 kB 2489f05da9e2185488de8d95bd217867
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/med-team/python-pycosat.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/med-team/python-pycosat