maria - reachability analyzer for Algebraic System Nets

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name maria
Package version 1.3.5
Package release 4
Package architecture amd64
Package type deb
Installed size 1.21 KB
Download size 429.31 KB
Official Mirror
Maria is a powerful tool designed to aid engineers in modelling and
solving concurrency related problems in parallel and distributed
computing systems.
Maria finds deadlocks and violations against safety or liveness
requirements by exploring all states that can be reached from the
initial state of a system.  The tool manages tens or hundreds of
millions of reachable states and enabled actions.
The expressive power of Maria's formalism is close to high-level
programming languages, thanks to its rich data type system and
powerful algebraic operations.


Package Version Architecture Repository
maria_1.3.5-4_i386.deb 1.3.5 i386 Ubuntu Universe
maria - - -


Name Value
libc6 >= 2.4
libreadline6 >= 6.0
libstdc++6 >= 4.6


Name Value
maria-vis -


Name Value
maria-vis -


Type URL
Binary Package maria_1.3.5-4_amd64.deb
Source Package maria

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install maria deb package:
    # sudo apt-get install maria




2011-05-13 - Ralf Treinen <>
maria (1.3.5-4) unstable; urgency=low
* debian/control:
- set section to science
- set priority to extra
- set maintainer to debian-science
- add Vcs-Git/Browse fields
* Simplify invocations to debhelpers in debian/rules
* patch utf8: migrate NEWS file to utf8
2011-05-03 - Ralf Treinen <>
maria (1.3.5-3) unstable; urgency=low
* Patch gcc4.6: add missing #includes to fix FTBFS with gcc4.6
(closes: #624926).
* Standards-Version 3.9.2 (no change)
2009-11-22 - Ralf Treinen <>
maria (1.3.5-2) unstable; urgency=low
* debhelper compatibility level 7.
* Standards-Version 3.8.3 (no change)
* Convert to source format 3.0 (quilt):
- debian/patches in quilt style
- no more patching in debian/rules
- no more build-dependency on dpatch
- added debian/source/format
- remove debian/README.source 
* debian/control:
- add dependency on ${misc:Depends}
- change dependency on libreadline5-dev to libreadline-dev (closes: #553809)
- remove obsolete build-dependency on xutils
- add Homepage field
* debian/copyright:
- converted to UTF-8
- point to GPL-2 file instead of GPL file
* debian/maria-doc.doc-base:
- section Science/Mathematics
- fieldname "authors" corrected to "author"
- converted to UTF-8
* debian/rules: 
- "dh_clean -k" => "dh_prep"
- "make reallyclean" => "make clean" since the former seems to be
the cause of segfaults, explicitly remove maria and doc/
(closes:  Bug#544575).
- do not ignore errors of "make clean"
- fix clean target to remove generate html files in doc
* Changed recommendation of infobrowser to info (package maria-doc)
2005-08-08 - Ralf Treinen <>
maria (1.3.5-1) unstable; urgency=low
* New upstream release.
* Desactivated patch 03gcc40, seems to be fixed by upstream.
* Install upstream NEWS file as /usr/share/doc/*/changelog.
2005-08-05 - Ralf Treinen <>
maria (1.3.4-7) unstable; urgency=low
* Compile with "-O3" instead of "-O2" on m68k to work around a FTBFS
caused by a gcc-4.0 bug.
* texi2html now produces *html files in subdirectory "maria/"
2005-07-06 - Ralf Treinen <>
maria (1.3.4-6) unstable; urgency=low
* Standards Version 3.6.2 (no changes).
* Some minor improvements in README.examples.
* Rebuild with gcc 4.
2005-02-13 - Ralf Treinen <>
maria (1.3.4-5) unstable; urgency=low
* The binary package maria-vis is no longer build since graphviz is
now in main. The package maria now replaces and conflicts with
maria-vis. (closes: Bug#292595).
* debian/copyright: distinguish copyright and licence.
* Removed the lintian override concerning unusual interpreter lefty -
this is now a lintian bug.
* Wrote README.examples, put it in /usr/share/doc/maria/examples
* Removed spurious $(CURDIR) in debian/rules
2005-01-06 - Ralf Treinen <>
maria (1.3.4-4) unstable; urgency=low
* Use dpatch. Dpatchify old patches:
- 01lefty_path: fix path of lefty interpreter
- 02compile_options: fix compile flags
* Patch 03gcc40: Fix compilation error for gcc4.0 on amd64. Patch
contributed by Andreas Jochens - thanks! (closes: Bug#288926)
* Short descriptions start on a lowercase letter.
* Removed useless ${misc:Depends} from maria's Dependency.
* Removed debian/TODO.
2005-01-01 - Ralf Treinen <>
maria (1.3.4-3) unstable; urgency=low
* Switch from libreadline4 to libreadline5.
2004-08-04 - Ralf Treinen <>
maria (1.3.4-2) unstable; urgency=low
* Converted this changelog file to UTF-8
* Package maria-doc: added Recommends infobrowser
* Standards-version 3.6.1 (no change)
* Added a debian/watch file
* Added a lintian override for maria-vis concering the use of lefty as
an interpreter

See Also

Package Description
markdown_1.0.1-7_all.deb Text-to-HTML conversion tool
mason_1.0.0-12.2_all.deb Interactively creates a Linux packet filtering firewall
masqmail_0.2.30-1_amd64.deb mail transport agent for intermittently connected hosts
massif-visualizer_0.3-0ubuntu1_amd64.deb Tool for visualizing memory usage recorded by Valgrind Massif
massxpert-data_3.2.0-2_all.deb linear polymer mass spectrometry software - arch-indep data
massxpert-doc_3.2.0-2_all.deb Linear polymer mass spectrometry software - manual
massxpert_3.2.0-2_amd64.deb linear polymer mass spectrometry software
matanza_0.13+ds1-1_amd64.deb Space ascii war game
matchbox-common_0.9.1-3_all.deb common files for Matchbox Project applications
matchbox-desktop_2.0-2_amd64.deb desktop application launcher for resource-limited systems
matchbox-keyboard-im_0.1+svn20080916-5_amd64.deb on-screen keyboard
matchbox-keyboard_0.1+svn20080916-5_amd64.deb on-screen keyboard
matchbox-panel-manager_0.1-4_amd64.deb panel manager for matchbox-panel
matchbox-panel_0.9.3-5_amd64.deb desktop panel for resource-limited systems
matchbox-themes-extra_0.3-2_all.deb extra themes for matchbox-window-manager