alloy-4.2-i486-7_slack.txz


Advertisement

Description

alloy - Alloy Analyzer

Property Value
Distribution Slackware 14.1
Repository Slackonly i486
Package filename alloy-4.2-i486-7_slack.txz
Package name alloy
Package version 4.2
Package release 7_slack
Package architecture i486
Package type txz
Homepage -
License -
Maintainer -
Download size 3.96 MB
Installed size 4.27 MB
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

Package Version Architecture Repository
alloy-4.2-x86_64-6_slack.txz 4.2 x86_64 Slackonly
alloy - - -

Download

Type URL
Mirror packages.slackonly.com
Binary Package alloy-4.2-i486-7_slack.txz
Source Package -

Install Howto

  1. Download alloy-4.2-i486-7_slack.txz
  2. Install alloy txz package:
    # upgradepkg --install-new alloy-4.2-i486-7_slack.txz

Files

Path
/install/doinst.sh
/install/slack-desc
/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

See Also

Package Description
alltray-0.7.5.1dev-i486-1_slack.txz docks applications into system tray
alsa-plugins-1.0.28-i486-1_slack.txz Advanced Linux Sound Architecture Plugins
alsa-tools-1.0.29-i486-2_slack.txz tools and firmware for various soundcards
alsacap-20140824-i486-1_slack.txz ALSA device capability lister
alsamixergui-0.9.0rc2-i486-2_slack.txz graphical soundcard mixer for ALSA
alsamodularsynth-2.0.1-i486-2_slack.txz realtime modular synthesizer and effect processor
amSynth-1.3.2-i486-1_slack.txz Analogue Modeling SYNTHesizer
amanda-3.3.4-i486-1_slack.txz Advanced Maryland Automatic Network Disk Archiver
amap-5.4-i486-2_slack.txz Application Mapper
amavisd-new-2.10.1-noarch-3_slack.txz interface between postfix content filters
amplicon-b09.1-noarch-2_slack.txz Design PCR primers on aligned sequences
amplifx-1.7.0-i386-1_slack.txz Manage, test and design your primers for PCR
amrnb-11.0.0.0-i486-1_slack.txz AMR Narrow Band Speech Codec
amrwb-11.0.0.0-i486-1_slack.txz AMR Wide Band Speech Codec
amsn-0.98.9-i486-1_slack.txz free open source MSN Messenger clone
Advertisement
Advertisement