[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

ソースパッケージ: mona (1.4-17-1)

mona に関するリンク

Debian の資源:

メンテナ:

外部の資源:

ホームページ [www.brics.dk]

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

mona: オートマトンを基にした定理証明ツール

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

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

adep: debhelper (>= 9)

helper programs for debian/rules
adep: bison

YACC 互換なパーサジェネレータ
adep: flex

高速な字句解析器生成プログラム
adep: autotools-dev

config.{guess,sub} ファイルの更新用基盤

Download mona

ファイル	サイズ (単位: kB)	MD5 チェックサム
mona_1.4-17-1.dsc	1.9 kB	0234f58dc312d47e5d2895b85cfcc5fc
mona_1.4-17.orig.tar.gz	683.0 kB	e1f7646b8284ca21cd505c4713c55e7e
mona_1.4-17-1.debian.tar.xz	6.2 kB	54bfa2dda748a1db429e9ac2b3527795

Debian パッケージソースリポジトリ (VCS: Git): https://anonscm.debian.org/debian-science/packages/mona.git
Debian パッケージソースリポジトリ (ブラウザで表示可能): https://anonscm.debian.org/cgit/debian-science/packages/mona.git