Installion's Lion Logo

Installion.co.uk

How To Install maude On Debian 8

To install maude just follow these instructions.

Install maude

high-performance logical frameworkDebian 8.0science2.6-6
sudo apt-get install maude

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

Package Data

Packagemaude
Version2.6-6
MaintainerDebian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Home pagehttp://maude.cs.uiuc.edu
Descriptionhigh-performance logical framework
Distrodebian
Releasejessie
Repomain
Sectionscience

Dependencies