The NetBSD Packages Collection: lang/coq

一行コメント:
Theorem prover which extracts programs from proofs

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

ホームページ: http://coq.inria.fr/.

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

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

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

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

このパッケージをbuildする時に必要なパッケージ: camlp5>=5.01 ocaml>=3.08.2 gmake>=3.81 ocaml>=3.09.1nb2 ocaml>=3.09 .

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

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

i386:	coq-8.1pl2.tgz	(NetBSD 4.0)
powerpc:	coq-8.0pl2.tgz	(Darwin 8.1.0)
powerpc:	coq-8.1.tgz	(NetBSD 4.0_BETA2)
sparc:	coq-8.1.tgz	(NetBSD 2.1)
sparc:	coq-8.1.tgz	(NetBSD 2.1)

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