» Ubuntu » Packages » precise (12.04LTS) » Source » math » mcrl2
precise  ] [  trusty  ] [  xenial  ] [  yakkety  ] [  zesty  ]

Source Package: mcrl2 (201107.1-1) [universe]

Links for mcrl2

Ubuntu Resources:


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

Original Maintainer (usually from Debian):

  • Paul van Tilburg

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

External Resources:

The following binary packages are built from this source package:
formal specification language toolset

Other Packages Related to mcrl2

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 5)
    helper programs for debian/rules
  • adep: cmake
    cross-platform, open-source make system
  • adep: libboost-filesystem-dev (>= 1.37)
    filesystem operations in C++ (default version)
  • adep: libboost-regex-dev (>= 1.37)
    regular expression library for C++ (default version)
  • adep: libboost-signals-dev (>= 1.37)
    managed signals and slots library for C++ (default version)
  • adep: libboost-system-dev (>= 1.37)
    Operating system (e.g. diagnostics support) library (default version)
  • adep: libboost-serialization-dev (>= 1.37)
    serialization library for C++ (default version)
  • adep: libwxgtk2.8-dev (>= 2.8.4)
    wxWidgets Cross-platform C++ GUI toolkit (GTK+ development)
  • adep: libglu1-mesa-dev (>= 7.0.1)
    Mesa OpenGL utility library -- development files
  • adep: libgl2ps-dev
    Lib providing high quality vector output for OpenGL application

Download mcrl2

FileSize (in kB)MD5 checksum
mcrl2_201107.1-1.dsc 1.4 kB 6f4c886904995d4b38b1ac725c70d1b8
mcrl2_201107.1.orig.tar.gz 5,007.5 kB 92cea7a1f2232ff1982d8a19c78264a2
mcrl2_201107.1-1.debian.tar.gz 6.7 kB c44c429f2b618e9bc12dce31850dd086
Debian Package Source Repository (VCS: Subversion)
Debian Package Source Repository (Browsable)