File: control

package info (click to toggle)
maria 1.3.5-4.1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid, stretch
  • size: 4,060 kB
  • ctags: 5,558
  • sloc: cpp: 43,408; yacc: 8,080; ansic: 436; sh: 404; lisp: 395; makefile: 292; perl: 21
file content (42 lines) | stat: -rw-r--r-- 1,625 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
Source: maria
Section: science
Priority: extra
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper (>= 7.0),
 libreadline-dev, libncurses5-dev, flex, bison
Build-Depends-Indep: texinfo, texi2html
Standards-Version: 3.9.2
Homepage: http://www.tcs.hut.fi/Software/maria/
Vcs-Git: git://git.debian.org/git/debian-science/packages/maria.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/maria.git

Package: maria
Section: math
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Recommends: maria-doc, lbt, graphviz
Conflicts: maria-vis
Replaces: maria-vis
Description: reachability analyzer for Algebraic System Nets
 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: maria-doc
Section: doc
Architecture: all
Depends: ${misc:Depends}
Recommends: maria, info | info-browser | www-browser
Description: documentation of Maria
 This package contains the documentation of Maria, a reachability
 analyzer for algebraic system nets, both in the formats info and html.