パッケージ名 パッケージ説明 ソースパッケージ名 パッケージの内容 すべてのオプション

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

spass に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル
• Debian ソースリポジトリ (Git)

メンテナ:

• Ubuntu MOTU Developers (メールアーカイブ)

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

Original Maintainers (usually from Debian):

• Debian Science Maintainers (メールアーカイブ)
• Ralf Treinen

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

外部の資源:

• ホームページ [www.mpi-inf.mpg.de]

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

spass

automated theorem prover for first-order logic with equality

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

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

• adep: debhelper-compat (= 12)

  パッケージは利用できません

• adep: bison

  YACC-compatible parser generator

• adep: flex

  fast lexical analyzer generator

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