すべてのオプション
wheezy  ] [  jessie  ] [  buster  ] [  sid  ]

ソースパッケージ: mcrl2 (201202.0-2)

mcrl2 に関するリンク

Debian の資源:

メンテナ:

外部の資源:

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

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

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

Download mcrl2

ファイルサイズ (単位: kB)MD5 チェックサム
mcrl2_201202.0-2.dsc 1.4 kB 552447b5db19f7d44690580694064993
mcrl2_201202.0.orig.tar.gz 8,603.0 kB 0daef61cbe0621397d7b7971dc38788a
mcrl2_201202.0-2.debian.tar.gz 6.8 kB 282a6e0184de9d8824e5b3effc637e0a
Debian パッケージソースリポジトリ (VCS: Subversion)
https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/