Installion's Lion Logo

Installion.co.uk

How To Install maria On Ubuntu 14.04 LTS

To install maria just follow these instructions.

Install maria

reachability analyzer for Algebraic System NetsUbuntu 14.04 LTSuniverse/math1.3.5-4
sudo apt-get install maria

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

Package Data

Packagemaria
Version1.3.5-4
MaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Home pagehttp://www.tcs.hut.fi/Software/maria/
Descriptionreachability analyzer for Algebraic System Nets
Distroubuntu
Releasetrusty
Repouniverse
Sectionuniverse/math

Dependencies