summary refs log tree commit diff
path: root/pkgs/development/tools/alloy
Commit message (Expand)AuthorAge
* treewide: switch all desktop file generators to new APIK9002022-02-25
* alloy: add alloy 6Сухарик2021-11-12
* pkgs/development/tools: stdenv.lib -> libBen Siraphob2021-01-23
* alloy: enable build on DarwinLio李欧2020-08-25
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* maintainers: update entry for notbandali (previously aminb)Amin Bandali2020-03-18
* alloy: 5.0.0.1 -> 5.1.0Сухарик2019-12-07
* treewide: remove redundant quotesvolth2019-09-08
* alloy: add alloy5 and take maintainership (#47262)Amin Bandali2018-09-26
* Remove nckx as a maintainer for all packagesTobias Geerinckx-Rice2018-01-16
* 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