Miroirs/SlackBuildsOrg
1
0
Fork 0
mirror of https://github.com/SlackBuildsOrg/slackbuilds synced 2024-09-28 15:21:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
SlackBuildsOrg/development/rmlmmc
History
R. S. Ananda Murthy 24247329e5 development/rmlmmc: Update VERSION. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-11-27 00:53:21 +07:00
..
doinst.sh
README
rmlmmc.info
rmlmmc.SlackBuild
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