maria - reachability analyzer for Algebraic System Nets

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe i386
Package filename maria_1.3.5-4.1_i386.deb
Package name maria
Package version 1.3.5
Package release 4.1
Package architecture i386
Package type deb
Category universe/math
License -
Maintainer Ubuntu Developers <>
Download size 398.30 KB
Installed size 1.31 MB
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.1_amd64.deb 1.3.5 amd64 Ubuntu Universe
maria - - -


Name Value
libc6 >= 2.15
libreadline7 >= 6.0
libstdc++6 >= 4.6


Name Value
maria-vis -


Name Value
maria-vis -


Type URL
Binary Package maria_1.3.5-4.1_i386.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




2016-12-01 - Sebastian Ramacher <>
maria (1.3.5-4.1) unstable; urgency=medium
* Non-maintainer upload.
[ Santiago Vila ]
* Add build-arch and build-indep targets. (Closes: #822055)
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.

See Also

Package Description
mariadb-client-10.1_10.1.29-6_i386.deb MariaDB database client binaries
mariadb-client-core-10.1_10.1.29-6_i386.deb MariaDB database core client binaries
mariadb-client_10.1.29-6_all.deb MariaDB database client (metapackage depending on the latest version)
mariadb-common_10.1.29-6_all.deb MariaDB common metapackage
mariadb-plugin-connect_10.1.29-6_i386.deb Connect storage engine for MariaDB
mariadb-plugin-cracklib-password-check_10.1.29-6_i386.deb CrackLib Password Validation Plugin for MariaDB
mariadb-plugin-gssapi-client_10.1.29-6_i386.deb GSSAPI authentication plugin for MariaDB client
mariadb-plugin-gssapi-server_10.1.29-6_i386.deb GSSAPI authentication plugin for MariaDB server
mariadb-plugin-mroonga_10.1.29-6_i386.deb Mroonga storage engine for MariaDB
mariadb-plugin-oqgraph_10.1.29-6_i386.deb OQGraph storage engine for MariaDB
mariadb-plugin-spider_10.1.29-6_i386.deb Spider storage engine for MariaDB
mariadb-server-10.1_10.1.29-6_i386.deb MariaDB database server binaries
mariadb-server-core-10.1_10.1.29-6_i386.deb MariaDB database core server files
mariadb-server_10.1.29-6_all.deb MariaDB database server (metapackage depending on the latest version)
marionnet_0.90.6+bzr508-1_i386.deb Virtual network laboratory