Daemon Power

The NetBSD Packages Collection: lang/maude

一行コメント:
System for equational and rewriting logic specification/programming

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

ホームページ: http://maude.cs.uiuc.edu/.

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

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

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

もし脆弱なパッケージをインストールしているのであれば、 今すぐ標準パッケージツールでそのパッケージを削除しましょう。 audit-packages パッケージにて、インストールされているパッケージの中に、 脆弱性があるとセキュリティー勧告を受けたものがあるかどうか調べられます。

このパッケージをbuildする時に必要なパッケージ: buddy>=2.4 libtool-base>=1.5.18nb5 gmp>=4.2.1 autoconf>=2.50 m4>=1.4 perl>=5.0 libtecla>=1.5.0 gmake>=3.81 libtecla>=1.6.1nb1 bison>=1.0 .

このパッケージを実行するときに必要なパッケージ: buddy>=2.4 gmp>=4.2.1 libtecla>=1.5.0 libtecla>=1.6.1nb1 .

pkg_add(1)でインストールできるコンパイル済みパッケージは以下のリンクより ダウンロード できます。 使用可能なマシンアーキテクチャーとバージョン:
alpha:maude-2.1.1nb1.tgz(NetBSD 3.0.2)
alpha:maude-2.1.1nb1.tgz(NetBSD 2.1)
alpha:maude-2.3.tgz(NetBSD 2.1)
alpha:maude-2.1.1nb1.tgz(NetBSD 3.0.2)
alpha:maude-2.3.tgz(NetBSD 4.0_RC5)
i386:maude-2.3.tgz(NetBSD 2.1)
i386:maude-2.3.tgz(NetBSD 3.1)
i386:maude-2.3.tgz(NetBSD 4.0)
i386:maude-2.1.1nb1.tgz(NetBSD 2.1)
i386:maude-2.3.tgz(NetBSD 3.1)
i386:maude-2.3.tgz(NetBSD 4.0)
mipseb:maude-2.1.1nb1.tgz(IRIX 6.5)
mipsel:maude-2.3.tgz(NetBSD 4.0_STABLE)
mipsel:maude-2.3.tgz(NetBSD 4.0_STABLE)
powerpc:maude-2.3.tgz(NetBSD 3.1_STABLE)
powerpc:maude-2.1.1nb1.tgz(NetBSD 3.1_STABLE)
sparc64:maude-2.1.1nb1.tgz(NetBSD 2.0.2)
sparc64:maude-2.1.1nb1.tgz(NetBSD 3.0.2)
sparc64:maude-2.1.1nb1.tgz(NetBSD 2.0.2)
sparc64:maude-2.1.1nb1.tgz(NetBSD 3.0.2)
sparc64:maude-2.3.tgz(NetBSD 4.0_BETA2)
sparc:maude-2.1.1nb1.tgz(NetBSD 2.1)
sparc:maude-2.3.tgz(NetBSD 3.1)
sparc:maude-2.1.1nb1.tgz(NetBSD 2.1)
sparc:maude-2.3.tgz(NetBSD 3.1)
sparc:maude-2.3.tgz(NetBSD 4.0)
sparc:maude-2.3.tgz(NetBSD 4.0)
x86_64:maude-2.3.tgz(NetBSD 2.1)
x86_64:maude-2.3.tgz(NetBSD 4.0)
x86_64:maude-2.1.1nb1.tgz(NetBSD 2.1)
x86_64:maude-2.3.tgz(NetBSD 3.1)
x86_64:maude-2.3.tgz(NetBSD 3.1)
x86_64:maude-2.3.tgz(NetBSD 4.0)
NetBSD パッケージコレクションは、 ソースからのインストールが簡単にできるように設計されています。 - もし、あなたのマシン用に、最新バイナリーパッケージが 用意されていない場合は、そちらをご利用ください。

[ 親ディレクトリーへ | パッケージツリートップへ | 全パッケージのリスト ]