summaryrefslogtreecommitdiffstats
path: root/pkgs/development/tools/alloy
AgeCommit message (Expand)Author
2022-06-04treewide: set sourceProvenance for packages containing downloaded jarsRobert Scott
2022-02-25treewide: switch all desktop file generators to new APIK900
2021-11-12alloy: add alloy 6Сухарик
2021-01-23pkgs/development/tools: stdenv.lib -> libBen Siraphob
2020-08-25alloy: enable build on DarwinLio李欧
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-18maintainers: update entry for notbandali (previously aminb)Amin Bandali
2019-12-07alloy: 5.0.0.1 -> 5.1.0Сухарик
2019-09-08treewide: remove redundant quotesvolth
2018-09-26alloy: add alloy5 and take maintainership (#47262)Amin Bandali
2018-01-16Remove nckx as a maintainer for all packagesTobias Geerinckx-Rice
2016-01-25Add version attribute where maintainers |= nckxTobias Geerinckx-Rice
2015-11-17Replace 'with plaforms; platform' with 'platforms.platform'Pascal Wittmann
2015-05-28Don't use "with licenses;" for single licencesTobias Geerinckx-Rice
2015-05-09alloy: remove left-over no-opTobias Geerinckx-Rice
2015-05-09alloy: use installPhase instead of ./builder.shTobias Geerinckx-Rice
2015-05-09Add alloy 4.2_2015-02-22: relational modellerTobias Geerinckx-Rice