maria_1.3.5-4_amd64.deb


Advertisement

Description

maria - reachability analyzer for Algebraic System Nets

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

Conflicts

  • maria-vis

Replaces

  • maria-vis

    Download

    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

    • /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

    Advertisement
    Advertisement