SlackBuilds Repository

15.0 > Development > rmlmmc (280)

Relational Meta-Language (RML) and Tools
A System for Developing, Compiling and Debugging and Teaching
Structural Operational Semantics (SOS) and
Natural Semantics Specifications

This requires: mlton, smlnj

Maintained by: R. S. Ananda Murthy
Keywords: rml-mmc
ChangeLog: rmlmmc

Homepage:
https://www.ida.liu.se/labs/pelab/rml/

Source Downloads (32bit):
rml-mmc_280.orig.tar.gz (ced3b1b48a329bb22fb23d45935eee0d)

Download SlackBuild:
rmlmmc.tar.gz
rmlmmc.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

Individual Files:

• README

• doinst.sh

• rmlmmc.SlackBuild

• rmlmmc.info

• slack-desc

Validated for Slackware 15.0

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync