The NetBSD Packages Collection: devel/ltsa

一行コメント:
Labelled Transition System Analyser

詳細な説明は "DESCR" または、このパッケージの 歴史をご覧ください。

ホームページ: http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/.

このパッケージのソースは "devel/ltsa" ディレクトリーに位置しています。パッケージツールでは、 "ltsa-2.2nb1". で操作します。 パッケージコレクションを使うためには、 パッケージツリーのトップをご覧ください。

このパッケージの障害報告、アップデートまたは提案は send-prにてお願いします。

devel/ltsa における既知のセキュリティー脆弱性は次の通りです :

(既知の脆弱性はありません)

このパッケージをbuildする時に必要なパッケージ: unzip-[0-9]* gmake>=3.81 .

このパッケージを実行するときに必要なパッケージ: none .

pkg_add(1)でインストールできるコンパイル済みパッケージは以下のリンクより ダウンロード できます。 使用可能なマシンアーキテクチャーとバージョン:

alpha:	ltsa-2.2nb1.tgz	(NetBSD 3.0)
alpha:	ltsa-2.2nb1.tgz	(NetBSD 3.0)

NetBSD パッケージコレクションは、 ソースからのインストールが簡単にできるように設計されています。 - もし、あなたのマシン用に、最新バイナリーパッケージが 用意されていない場合は、そちらをご利用ください。