rmlmmc-280-i486-2_slack.txz


Advertisement

Description

rmlmmc - Relational Meta-Language (RML) and Tools

Property Value
Distribution Slackware 14.1
Repository Slackonly i486
Package filename rmlmmc-280-i486-2_slack.txz
Package name rmlmmc
Package version 280
Package release 2_slack
Package architecture i486
Package type txz
Homepage -
License -
Maintainer -
Download size 528.00 KB
Installed size 3.12 MB
This is a system for developing, compiling and debugging and teaching
Structural Operational Semantics (SOS) and Natural Semantics
Specifications.

Alternatives

Package Version Architecture Repository
rmlmmc - - -

Download

Type URL
Mirror packages.slackonly.com
Binary Package rmlmmc-280-i486-2_slack.txz
Source Package -

Install Howto

  1. Download rmlmmc-280-i486-2_slack.txz
  2. Install rmlmmc txz package:
    # upgradepkg --install-new rmlmmc-280-i486-2_slack.txz

Files

Path
/install/doinst.sh
/install/slack-desc
/usr/
/usr/bin/rml
/usr/bin/rmlc
/usr/doc/
/usr/doc/rmlmmc-280/COPYRIGHT
/usr/doc/rmlmmc-280/INSTALL.MLton.txt
/usr/doc/rmlmmc-280/PROBLEMS
/usr/doc/rmlmmc-280/README
/usr/doc/rmlmmc-280/RELEASE
/usr/doc/rmlmmc-280/rmlmmc.SlackBuild

See Also

Package Description
rmw-0.98.4.2beta-i486-1_slack.txz command line trash can/recycle bin
rng-tools-5-i486-1_slack.txz random number generator tools
roadfighter-1.0.1269-i486-2_slack.txz A simple racing game
robomongo-0.8.4-i686-2_slack.txz Database Software
robotfindskitten-2.7182818.701-i486-2_slack.txz a Zen simulation game
rocksndiamonds-3.3.0.1-i486-1_slack.txz collection of boulder dash-like arcade games
rodent-5.3.12-i486-1_slack.txz Rodent Filemanager
rofi-0.14.9-i486-2_slack.txz window switcher
roger-router-1.8.11-i486-3_slack.txz former FFGTK Router Manager
rogue-5.4.4-i486-1_slack.txz visual CRT based fantasy game
root-5.34.03-i486-1_slack.txz ROOT - A data analysis framework
root-tail-1.2-i486-1_slack.txz tail for the X root window
rootactions_servicemenu-2.7.3-noarch-1_slack.txz rootpriv actions context menu
rosa-media-player-1.0-i486-3_slack.txz Media Player
rosegarden-14.02-i486-1_slack.txz Midi / Audio / Notation-Editor
Advertisement
Advertisement