slackbuilds

mirror of https://github.com/SlackBuildsOrg/slackbuilds.git

History

fourtysixandtwo 715ee8bf91 development/rmlmmc: Change i486 to i586		2022-06-07 02:23:17 -04:00
..
README	…
doinst.sh	…
rmlmmc.SlackBuild	development/rmlmmc: Change i486 to i586	2022-06-07 02:23:17 -04:00
rmlmmc.info	…
slack-desc	…

README

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