maria_1.3.5-4_amd64.deb


Advertisement

Description

maria - reachability analyzer for Algebraic System Nets

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name maria
Package version 1.3.5
Package release 4
Package architecture amd64
Package type deb
Installed size 1.20 KB
Download size 429.38 KB
Official Mirror ftp.br.debian.org
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.

Alternatives

Package Version Architecture Repository
maria_1.3.5-4_i386.deb 1.3.5 i386 Debian Main
maria - - -

Requires

Name Value
libc6 >= 2.3.4
libgcc1 >= 1:4.1.1
libncurses5 >= 5.5-5~
libreadline6 >= 6.0
libstdc++6 >= 4.6

Conflicts

Name Value
maria-vis -

Replaces

Name Value
maria-vis -

Download

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

Files

Path
/etc/emacs/site-start.d/50maria.el
/usr/bin/maria
/usr/bin/maria-cso
/usr/bin/maria-vis
/usr/lib/emacsen-common/packages/install/maria
/usr/lib/emacsen-common/packages/remove/maria
/usr/share/doc/maria/NEWS.gz
/usr/share/doc/maria/changelog.Debian.gz
/usr/share/doc/maria/copyright
/usr/share/doc/maria/examples/README.examples
/usr/share/doc/maria/examples/buffer.pn
/usr/share/doc/maria/examples/const.pn
/usr/share/doc/maria/examples/dbm.pn
/usr/share/doc/maria/examples/dining.pn
/usr/share/doc/maria/examples/init.pn
/usr/share/doc/maria/examples/modular.pn.gz
/usr/share/doc/maria/examples/mutex.pn
/usr/share/doc/maria/examples/object.pn
/usr/share/doc/maria/examples/order.pn
/usr/share/doc/maria/examples/output.pn
/usr/share/doc/maria/examples/quant.pn
/usr/share/doc/maria/examples/queens.pn
/usr/share/doc/maria/examples/resource.pn
/usr/share/doc/maria/examples/swn-m.pn.gz
/usr/share/doc/maria/examples/swn.pn.gz
/usr/share/doc/maria/examples/sync.pn
/usr/share/doc/maria/examples/typecast.pn
/usr/share/emacs/site-lisp/maria/pn-mode.el
/usr/share/emacs/site-lisp/maria/sdl-mode.el
/usr/share/man/man1/maria-cso.1.gz
/usr/share/man/man1/maria-vis.1.gz
/usr/share/man/man1/maria.1.gz
/usr/share/maria/runtime/Error.h
/usr/share/maria/runtime/bush.h
/usr/share/maria/runtime/bushfcn.h
/usr/share/maria/runtime/bushpriv.h
/usr/share/maria/runtime/codec.h
/usr/share/maria/runtime/codecfcn.h
/usr/share/maria/runtime/event.h
/usr/share/maria/runtime/eventpriv.h
/usr/share/maria/runtime/statefcn.h
/usr/share/maria/runtime/token.h
/usr/share/maria/runtime/types.h

Changelog

2011-05-13 - Ralf Treinen <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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/maria.info
(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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
maria (1.3.4-3) unstable; urgency=low
* Switch from libreadline4 to libreadline5.
2004-08-04 - Ralf Treinen <treinen@debian.org>
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
mariadb-client-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database client binaries
mariadb-client-core-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database core client binaries
mariadb-client_10.0.32-0+deb8u1_all.deb MariaDB database client (metapackage depending on the latest version)
mariadb-common_10.0.32-0+deb8u1_all.deb MariaDB common metapackage
mariadb-connect-engine-10.0_10.0.32-0+deb8u1_amd64.deb Connect storage engine for MariaDB
mariadb-oqgraph-engine-10.0_10.0.32-0+deb8u1_amd64.deb OQGraph storage engine for MariaDB
mariadb-server-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database server binaries
mariadb-server-core-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database core server files
mariadb-server_10.0.32-0+deb8u1_all.deb MariaDB database server (metapackage depending on the latest version)
mariadb-test-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database regression test suite
mariadb-test_10.0.32-0+deb8u1_all.deb MariaDB database regression test suite (metapackage for the latest version)
marionnet_0.90.6+bzr457-1_amd64.deb Virtual network laboratory
marisa_0.2.4-8_amd64.deb commmand line tools for libmarisa
markdown_1.0.1-7_all.deb Text-to-HTML conversion tool
marsshooter-data_0.7.5-2_all.deb ridiculous space shooter governed by the laws of gravity -- data
Advertisement
Advertisement