about summary refs log tree commit diff
path: root/pkgs/development/tools/alloy
AgeCommit message (Expand)AuthorFilesLines
2016-01-25Add version attribute where maintainers |= nckxTobias Geerinckx-Rice1-20/+19
2015-11-17Replace 'with plaforms; platform' with 'platforms.platform'Pascal Wittmann1-1/+1
2015-05-28Don't use "with licenses;" for single licencesTobias Geerinckx-Rice1-1/+1
2015-05-09alloy: remove left-over no-opTobias Geerinckx-Rice1-1/+0
2015-05-09alloy: use installPhase instead of ./builder.shTobias Geerinckx-Rice2-20/+17
2015-05-09Add alloy 4.2_2015-02-22: relational modellerTobias Geerinckx-Rice3-0/+64