about summary refs log tree commit diff
path: root/pkgs/development/tools/alloy
AgeCommit message (Expand)AuthorFilesLines
2020-08-25alloy: enable build on DarwinLio李欧1-1/+1
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2020-03-18maintainers: update entry for notbandali (previously aminb)Amin Bandali1-1/+1
2019-12-07alloy: 5.0.0.1 -> 5.1.0Сухарик1-4/+4
2019-09-08treewide: remove redundant quotesvolth1-1/+1
2018-09-26alloy: add alloy5 and take maintainership (#47262)Amin Bandali1-46/+60
2018-01-16Remove nckx as a maintainer for all packagesTobias Geerinckx-Rice1-1/+0
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