Installion's Lion Logo

Installion.co.uk

How To Install maria On Debian 9

To install maria just follow these instructions.

Install maria

reachability analyzer for Algebraic System NetsDebian 9.0math1.3.5-4.1
sudo apt-get install maria

Which will install maria and any other packages on which it depends.

Package Data

Packagemaria
Version1.3.5-4.1
MaintainerDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Home pagehttp://www.tcs.hut.fi/Software/maria/
Descriptionreachability analyzer for Algebraic System Nets
Distrodebian
Releasestretch
Repomain
Sectionmath

Dependencies