Daemon Power

The NetBSD Packages Collection: devel/pvs

一行コメント:
The PVS Specification and Verification System

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

ホームページ: http://pvs.csl.sri.com/.

このパッケージは pvs-license ライセンスであることに注意してください。

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

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

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

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

このパッケージをbuildする時に必要なパッケージ: tk>=8.0 tcl>=8.4.6nb1 libtool-base>=1.5.18nb5 tcl>=8.4.7nb1 x11-links>=0.35 emacs-nox11>=21.2<22 perl>=5.0 gmake>=3.81 teTeX-bin>=3.0nb2 teTeX-texmf>=3.0nb3 dialog>=0.6z libwww>=5.3.2nb2 automake14>=1.4 autoconf213>=2.13 m4>=1.4 png>=1.2.4 t1lib>=5.0.1 xpm>=3.4k xpkgwedge>=1.15 xextproto>=7.0 inputproto>=1.4 xpm>=3.4knb6 libwww>=5.4.0nb6 png>=1.2.9nb2 t1lib>=5.1.0nb5 bison>=1.0 teTeX-bin>=3.0nb7 .

このパッケージを実行するときに必要なパッケージ: tk>=8.0 tcl>=8.4.6nb1 tcl>=8.4.7nb1 emacs-nox11>=21.2<22 perl>=5.0 teTeX-bin>=3.0nb2 teTeX-texmf>=3.0nb3 dialog>=0.6z libwww>=5.3.2nb2 png>=1.2.4 t1lib>=5.0.1 xpm>=3.4k xpm>=3.4knb6 libwww>=5.4.0nb6 png>=1.2.9nb2 t1lib>=5.1.0nb5 teTeX-bin>=3.0nb7 .

pkg_add(1)でインストールできるコンパイル済みパッケージは以下のリンクより ダウンロード できます。 使用可能なマシンアーキテクチャーとバージョン:
none
NetBSD パッケージコレクションは、 ソースからのインストールが簡単にできるように設計されています。 - もし、あなたのマシン用に、最新バイナリーパッケージが 用意されていない場合は、そちらをご利用ください。


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