rmlmmc-280-i586-1_slonly.txz


Advertisement

Description

rmlmmc - Relational Meta-Language (RML

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

Requires

    Download

    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

    • /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
    Advertisement
    Advertisement