alloy-4.2-i586-1_slonly.txz


Advertisement

Description

alloy - Alloy Analyzer

Distribution: Slackware 14.2
Repository: Slackonly i486
Package name: alloy
Package version: 4.2
Package release: 1_slonly
Package architecture: i586
Package type: txz
Installed size: 4.27 MB
Download size: 3.96 MB
Official Mirror: packages.slackonly.com
Alloy is a lightweight modelling language for software design. It is amenable to a fully automatic analysis, using the Alloy Analyzer, and provides a visualizer for making sense of solutions and counterexamples it finds. http://alloy.mit.edu/

Alternatives

Requires

    Download

    Source package: unknown

    Install Howto

    1. Download alloy-4.2-i586-1_slonly.txz
    2. Install alloy txz package:
      # upgradepkg --install-new alloy-4.2-i586-1_slonly.txz

    Files

    • /install/doinst.sh
    • /install/slack-desc
    • /install/slack-required
    • /usr/
    • /usr/bin/alloy
    • /usr/doc/
    • /usr/doc/alloy-4.2/alloy.SlackBuild
    • /usr/lib/
    • /usr/lib/alloy/alloy4.2.jar
    • /usr/share/
    • /usr/share/applications/alloy.desktop
    • /usr/share/pixmaps/alloy.png
    Advertisement
    Advertisement