すべてのオプション
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

ソースパッケージ: spass (3.9-1.1)

spass に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
spass
automated theorem prover for first-order logic with equality

その他の spass 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)

Download spass

ファイルサイズ (単位: kB)MD5 チェックサム
spass_3.9-1.1.dsc 2.0 kB 0271dc40d5981f030ce3fb8441a0f90e
spass_3.9.orig.tar.gz 547.4 kB d5d1fd09574bd93e5c7c1781e89b743e
spass_3.9-1.1.debian.tar.xz 3.9 kB 90cd0bbd8499d837c5465c50efa45f01
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/science-team/spass.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/science-team/spass