Source Package: mcrl2 (201007~rc1-1)
Links for mcrl2
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Subversion)
- Debian Patch Tracker
Maintainer:
External Resources:
- Homepage [www.mcrl2.org]
The following binary packages are built from this source package:
- mcrl2
- the mCRL2 formal specification language toolset
Other Packages Related to mcrl2
|
|
-
- adep: debhelper (>= 5)
- helper programs for debian/rules
-
- adep: cmake
- a cross-platform, open-source make system
-
- adep: libboost1.42-dev
- Boost C++ Libraries development files
-
- adep: libboost-date-time1.42-dev
- set of date-time libraries based on generic programming concepts
-
- adep: libboost-filesystem1.42-dev
- filesystem operations (portable paths, iteration over directories, etc) in C++
-
- adep: libboost-graph1.42-dev
- generic graph components and algorithms in C++
-
- adep: libboost-program-options1.42-dev
- program options library for C++
-
- adep: libboost-regex1.42-dev
- regular expression library for C++
-
- adep: libboost-signals1.42-dev
- managed signals and slots library for C++
-
- adep: libboost-system1.42-dev
- Operating system (e.g. diagnostics support) library
-
- adep: libboost-test1.42-dev
- components for writing and executing test suites
-
- adep: libboost-thread1.42-dev
- portable C++ multi-threading
-
- adep: libwxgtk2.8-dev (>= 2.8.4)
- wxWidgets Cross-platform C++ GUI toolkit (GTK+ development)
-
- adep: libglu1-mesa-dev (>= 7.0.1)
- The OpenGL utility library -- development files
Download mcrl2
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| mcrl2_201007~rc1-1.dsc | 1.5 kB | d98b998f4efb013c63cb14c151caf5a3 |
| mcrl2_201007~rc1.orig.tar.gz | 5,217.3 kB | f912aad5b453276fb9f71e23c18bf42d |
| mcrl2_201007~rc1-1.debian.tar.gz | 6.0 kB | 97d9993142ea1a2b2bf1ce44c8f2e7f3 |
- Debian Package Source Repository (VCS: Subversion)
- https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
- Debian Package Source Repository (Browsable)
- https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/