alloy-4.2-i586-1_slonly.txz


Advertisement

Description

alloy - Alloy Analyzer

Property Value
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

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

Requires

Name Value
jdk -

Download

Type URL
Binary Package alloy-4.2-i586-1_slonly.txz
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

Path
/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

See Also

Package Description
alltray-0.7.5.1dev-i586-1_slonly.txz docks applications into system tray
alot-0.5.1-i586-1_slonly.txz MUA based on notmuch mail
alsa-plugin-ffmpeg-1.1.1-i586-1_slonly.txz ffmpeg plugins for ALSA
alsa-plugin-jack-1.1.1-i586-1_slonly.txz JACK plugin for ALSA
alsa-tools-1.1.3-i586-1_slonly.txz tools and firmware for various soundcards
alsacap-20140824-i586-1_slonly.txz ALSA device capability lister
alsaequal-0.6-i586-1_slonly.txz 10 Band Graphical Equalizer
alsamixergui-0.9.0rc2-i586-2_slonly.txz graphical soundcard mixer for ALSA
alsamodularsynth-2.1.2-i586-1_slonly.txz realtime modular synthesizer and effect processor
alure-1.2-i586-2_slonly.txz library to manage tasks with OpenAL
amSynth-1.6.3-i586-1_slonly.txz Analogue Modeling SYNTHesizer
amanda-3.3.8-i586-1_slonly.txz Advanced Maryland Automatic Network Disk Archiver
amap-5.4-i586-1_slonly.txz Application Mapper
amavisd-new-2.11.0-noarch-1_slonly.txz interface between postfix content filters
ambiance-radiance-flat-colors-gtk-theme-16.04.1-noarch-1_slonly.txz gtk theme
Advertisement
Advertisement