Package: maria (1.3.5-4 and others)

[ Source: maria  ]

reachability analyzer for Algebraic System Nets

Other Packages Related to maria

• dep: libc0.1 (>= 2.3.4) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc0.3 (>= 2.11) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.10) [hppa]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.11) [powerpcspe]

  dep: libc6 (>= 2.13) [s390x, sh4]

  dep: libc6 (>= 2.3.4) [amd64, i386, mips, mipsel, sparc64]

  dep: libc6 (>= 2.3.5-1) [m68k]

  dep: libc6 (>= 2.4) [armel, armhf, powerpc, s390]

  dep: libc6 (>= 2.5) [avr32]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3.4) [ia64]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

• dep: libgcc1 [powerpcspe]

  GCC support library

  dep: libgcc1 (>= 1:4.1.1) [not armel, armhf, avr32, hppa, hurd-i386, m68k, powerpcspe]

  dep: libgcc1 (>= 1:4.2.1) [avr32]

  dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  dep: libgcc1 (>= 4.2.1) [hurd-i386]

• dep: libgcc2 (>= 4.0.1) [m68k]

  GCC support library

• dep: libgcc4 (>= 4.1.1) [hppa]

  GCC support library

• dep: libncurses5 (>= 5.4-5) [m68k]

  shared libraries for terminal handling

  dep: libncurses5 (>= 5.5-5~) [not avr32, hppa, m68k]

  dep: libncurses5 (>= 5.6+20071006-3) [avr32, hppa]

• dep: libreadline5 [m68k]

  GNU readline and history libraries, run-time libraries

• dep: libreadline6 [avr32, hppa]

  GNU readline and history libraries, run-time libraries

  dep: libreadline6 (>= 6.0) [not avr32, hppa, m68k]

• dep: libstdc++6 [powerpcspe]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 4.0.1) [m68k]

  dep: libstdc++6 (>= 4.1.1) [alpha, hppa, hurd-i386, ia64, sh4, sparc, sparc64]

  dep: libstdc++6 (>= 4.2.1) [avr32]

  dep: libstdc++6 (>= 4.6) [not alpha, avr32, hppa, hurd-i386, ia64, m68k, powerpcspe, sh4, sparc, sparc64]

• dep: libtinfo5 [armhf, s390x]

  shared low-level terminfo library for terminal handling

• dep: libunwind7 [ia64]

  A library to determine the call-chain of a program - runtime

• rec: graphviz

  rich set of graph drawing tools

• rec: lbt

  converts from LTL formulas to Büchi automata

• rec: maria-doc

  documentation of Maria

Download maria

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.3.5-4	480.4 kB	1,572.0 kB	[list of files]
amd64	1.3.5-4	429.4 kB	1,232.0 kB	[list of files]
armel	1.3.5-4	360.6 kB	1,068.0 kB	[list of files]
armhf	1.3.5-4	335.4 kB	717.0 kB	[list of files]
avr32 (unofficial port)	1.3.5-2	386.5 kB	968.0 kB	[list of files]
hppa	1.3.5-2	443.8 kB	1,288.0 kB	[list of files]
hurd-i386	1.3.5-4	371.3 kB	1,120.0 kB	[list of files]
i386	1.3.5-4	411.0 kB	1,232.0 kB	[list of files]
ia64	1.3.5-4	662.6 kB	2,536.0 kB	[list of files]
kfreebsd-amd64	1.3.5-4	429.2 kB	1,142.0 kB	[list of files]
kfreebsd-i386	1.3.5-4	410.8 kB	1,142.0 kB	[list of files]
m68k (unofficial port)	1.3.5-1	343.1 kB	1,176.0 kB	[list of files]
mips	1.3.5-4	359.8 kB	1,260.0 kB	[list of files]
mipsel	1.3.5-4	361.5 kB	1,260.0 kB	[list of files]
powerpc	1.3.5-4	377.1 kB	1,184.0 kB	[list of files]
powerpcspe (unofficial port)	1.3.5-4	390.2 kB	1,216.0 kB	[list of files]
s390	1.3.5-4	412.7 kB	1,260.0 kB	[list of files]
s390x	1.3.5-4	453.2 kB	1,314.0 kB	[list of files]
sh4 (unofficial port)	1.3.5-4	386.3 kB	1,116.0 kB	[list of files]
sparc	1.3.5-4	373.9 kB	1,168.0 kB	[list of files]
sparc64 (unofficial port)	1.3.5-4	380.4 kB	1,168.0 kB	[list of files]