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.


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


Type URL
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



See Also

Package Description
alltray- 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- AMR Narrow Band Speech Codec
amrwb- AMR Wide Band Speech Codec
amsn-0.98.9-i486-1_slack.txz free open source MSN Messenger clone