rmlmmc-280-i586-1_slonly.txz


Advertisement

Description

rmlmmc - Relational Meta-Language (RML

Property Value
Distribution Slackware 14.2
Repository Slackonly i486
Package name rmlmmc
Package version 280
Package release 1_slonly
Package architecture i586
Package type txz
Installed size 6.22 MB
Download size 772.00 KB
Official Mirror packages.slackonly.com
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 - - -

Requires

Name Value
mlton -
smlnj -

Download

Type URL
Binary Package rmlmmc-280-i586-1_slonly.txz
Source Package unknown

Install Howto

  1. Download rmlmmc-280-i586-1_slonly.txz
  2. Install rmlmmc txz package:
    # upgradepkg --install-new rmlmmc-280-i586-1_slonly.txz

Files

Path
/install/doinst.sh
/install/slack-desc
/install/slack-required
/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
/usr/include/
/usr/include/diff/labtab.h
/usr/include/diff/rml.h
/usr/include/mask/rml.h
/usr/include/plain/rml.h
/usr/lib/
/usr/lib/diff/librml.a
/usr/lib/diff/librml_g.a
/usr/lib/diff/librml_p.a
/usr/lib/diff/librml_t.a
/usr/lib/mask/librml.a
/usr/lib/mask/librml_g.a
/usr/lib/mask/librml_p.a
/usr/lib/mask/librml_t.a
/usr/lib/plain/librml.a
/usr/lib/plain/librml_g.a
/usr/lib/plain/librml_p.a
/usr/lib/plain/librml_t.a

See Also

Package Description
rmw-2016.09.19.01a-i586-1_slonly.txz command line trash can/recycle bin
rng-tools-5-i586-1_slonly.txz random number generator tools
roadfighter-1.0.1269-i586-1_slonly.txz A simple racing game
robomongo-0.8.4-i686-2_slonly.txz Database Software
robotfindskitten-2.7182818.701-i586-2_slonly.txz a Zen simulation game
roccat-tools-5.7.0-i586-1_slonly.txz Roccat common files
rocksdb-5.5.1-i586-1_slonly.txz Embeddable, persistent key-value store for fast storage
rocksndiamonds-3.3.0.1-i586-1_slonly.txz collection of boulder dash-like arcade games
rodent-5.3.12-i586-1_slonly.txz Rodent Filemanager
rofi-0.14.9-i586-1_slonly.txz window switcher
roger-router-1.9.3-i586-1_slonly.txz former FFGTK Router Manager
rogue-5.4.4-i586-1_slonly.txz visual CRT based fantasy game
root-5.34.36-i586-1_slonly.txz data analysis framework
root-tail-1.2-i586-1_slonly.txz tail for the X root window
rootactions_servicemenu-2.7.3-noarch-1_slonly.txz rootpriv actions context menu
Advertisement
Advertisement