» Ubuntu » Packages » quantal (12.10) » Source » math » mcrl2
precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]

Source Package: mcrl2 (201202.0-2) [universe]

Links for mcrl2

Ubuntu Resources:


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

Original Maintainers (usually from Debian):

  • Jeroen Keiren
  • 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 (portable paths, iteration over directories, etc) 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_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 Package Source Repository (VCS: Subversion)
Debian Package Source Repository (Browsable)