» Ubuntu » 套件 » bionic (18.04LTS) » math » mcrl2
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ]
[ 原始碼: mcrl2  ]

套件: mcrl2 (201409.0-1ubuntu3) [universe]

mcrl2 的相關超連結

Screenshot

Ubuntu 的資源:

下載原始碼套件 mcrl2

維護者:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Sjoerd Cranen
  • Paul van Tilburg

It should generally not be necessary for users to contact the original maintainer.

外部的資源:

相似套件:

formal specification language toolset

其他與 mcrl2 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    同時作為一個虛擬套件由這些套件提供: libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.4) [armhf, i386, s390x]
  • dep: libgcc1 (>= 1:3.0) [arm64, ppc64el, s390x]
    GCC support library
    dep: libgcc1 (>= 1:3.4) [amd64, i386]
    dep: libgcc1 (>= 1:3.5) [armhf]
  • dep: libgl1-mesa-glx [除 armhf]
    transitional dummy package
    或者 libgl1
    Vendor neutral GL dispatch library -- legacy GL support
  • dep: libgl2ps1.4 [除 armhf]
    Lib providing high quality vector output for OpenGL application
  • dep: libglu1-mesa [除 armhf]
    Mesa OpenGL utility library (GLU)
    或者 libglu1
    本虛擬套件由這些套件提供: libglu1-mesa
  • dep: libqt4-opengl (>= 4:4.5.3) [除 armhf]
    Qt 4 OpenGL module
  • dep: libqt4-xml (>= 4:4.5.3) [除 armhf]
    Qt 4 XML module
  • dep: libqtcore4 (>= 4:4.8.0) [除 armhf]
    Qt 4 core module
  • dep: libqtgui4 (>= 4:4.8.0) [除 armhf]
    Qt 4 GUI module
  • dep: libstdc++6 (>= 5.2)
    GNU Standard C++ Library v3

下載 mcrl2

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 7,366.7 kB42,561.0 kB [文件列表]
arm64 6,758.7 kB41,061.0 kB [文件列表]
armhf 5,098.6 kB25,189.0 kB [文件列表]
i386 7,712.5 kB42,914.0 kB [文件列表]
ppc64el 7,078.2 kB49,016.0 kB [文件列表]
s390x 6,515.4 kB42,110.0 kB [文件列表]