eLxr packages

 / Pacotes / bianca (stable) / Fonte / - / maria

[  bianca  ]

Links para maria

• Repositório-fonte Debian (Git)
• Rastreador de patch eLxr

Mantenedores(as):

• Debian Science Maintainers
• Ralf Treinen

Fontes externas:

• Pagina principal [www.tcs.hut.fi]

Os seguintes pacotes binários são criados a partir deste pacote-fonte:

maria

reachability analyzer for Algebraic System Nets

maria-doc

documentation of Maria

Outros pacotes relacionados a maria

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Pacote não disponível

• adep: dh-elpa

  Debian helper tools for packaging emacs lisp extensions

• adep: libreadline-dev

  GNU readline and history libraries, development files

• adep: libtinfo6

  shared low-level terminfo library for terminal handling

• adep: libncurses-dev

  developer's libraries for ncurses

• adep: flex

  fast lexical analyzer generator

• adep: bison

  YACC-compatible parser generator

• idep: texinfo

  Documentation system for on-line information and printed output

• idep: texi2html

  Convert Texinfo files to HTML

Download maria

Arquivo	Tamanho (em kB)	Soma de verificação MD5
maria_1.3.5-6.debian.tar.xz	7.6 kB	05a5d4cb925470c998607ac0ea11e059
maria_1.3.5-6.dsc	2.0 kB	9aee8d886001ab1fc836a4b951d22367
maria_1.3.5.orig.tar.gz	580.8 kB	8c294f15551ff2b4dbce69371f4c10cb

Repositório-fonte de pacotes Debian (VCS: Git)

https://salsa.debian.org/science-team/maria.git

Repositório-fonte de pacotes Debian (navegável)

https://salsa.debian.org/science-team/maria