maria-doc - documentation of Maria

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe amd64
Package filename maria-doc_1.3.5-4.1_all.deb
Package name maria-doc
Package version 1.3.5
Package release 4.1
Package architecture all
Package type deb
Category universe/doc
License -
Maintainer Ubuntu Developers <>
Download size 128.78 KB
Installed size 615.00 KB
This package contains the documentation of Maria, a reachability
analyzer for algebraic system nets, both in the formats info and html.


Package Version Architecture Repository
maria-doc_1.3.5-4.1_all.deb 1.3.5 all Ubuntu Universe
maria-doc - - -


Type URL
Binary Package maria-doc_1.3.5-4.1_all.deb
Source Package maria

Install Howto

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




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
maria_1.3.5-4.1_amd64.deb reachability analyzer for Algebraic System Nets
mariadb-client-10.1_10.1.29-6_amd64.deb MariaDB database client binaries
mariadb-client-core-10.1_10.1.29-6_amd64.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_amd64.deb Connect storage engine for MariaDB
mariadb-plugin-cracklib-password-check_10.1.29-6_amd64.deb CrackLib Password Validation Plugin for MariaDB
mariadb-plugin-gssapi-client_10.1.29-6_amd64.deb GSSAPI authentication plugin for MariaDB client
mariadb-plugin-gssapi-server_10.1.29-6_amd64.deb GSSAPI authentication plugin for MariaDB server
mariadb-plugin-mroonga_10.1.29-6_amd64.deb Mroonga storage engine for MariaDB
mariadb-plugin-oqgraph_10.1.29-6_amd64.deb OQGraph storage engine for MariaDB
mariadb-plugin-spider_10.1.29-6_amd64.deb Spider storage engine for MariaDB
mariadb-plugin-tokudb_10.1.29-6_amd64.deb TokuDB storage engine for MariaDB
mariadb-server-10.1_10.1.29-6_amd64.deb MariaDB database server binaries
mariadb-server-core-10.1_10.1.29-6_amd64.deb MariaDB database core server files