Source: rml-mmc
Section: devel
Priority: extra
Maintainer: Martin Sjölund <martin.sjolund@liu.se>
Build-Depends: debhelper (>= 7),
 mlton,
 bison,
 flex
Standards-Version: 3.8.4

Package: rml-mmc
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: Compiler and interpreter for RML and MMC specifications
 ! THIS IS NOT A OFFICIAL DEBIAN PACKAGE, USE IT WITH CARE !
 .
 It implements the Relational Meta-Language (RML) and MetaModelica
 .
 RML is intended as an executable specification language for experiment-
 ing with and implementing Natural Semantics.
 .
 RML is heavily influenced by Standard ML, both in the language itself
 and in its definition.
 .
