summary refs log tree commit diff
path: root/pkgs/development/tools/alloy
Commit message (Expand)AuthorAge
* Add version attribute where maintainers |= nckxTobias Geerinckx-Rice2016-01-25
* Replace 'with plaforms; platform' with 'platforms.platform'Pascal Wittmann2015-11-17
* Don't use "with licenses;" for single licencesTobias Geerinckx-Rice2015-05-28
* alloy: remove left-over no-opTobias Geerinckx-Rice2015-05-09
* alloy: use installPhase instead of ./builder.shTobias Geerinckx-Rice2015-05-09
* Add alloy 4.2_2015-02-22: relational modellerTobias Geerinckx-Rice2015-05-09