about summary refs log tree commit diff
path: root/pkgs/development/tools/alloy
AgeCommit message (Expand)AuthorFilesLines
2022-06-04treewide: set sourceProvenance for packages containing downloaded jarsRobert Scott1-0/+1
2022-02-25treewide: switch all desktop file generators to new APIK9001-1/+1
2021-11-12alloy: add alloy 6Сухарик1-24/+20
2021-01-23pkgs/development/tools: stdenv.lib -> libBen Siraphob1-2/+2
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