This script is for Slackware 14.2 only and may be outdated.

SlackBuilds Repository

14.2 > 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: smlnj, mlton

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 14.2

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

© 2006-2024 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds