nixpkgs/pkgs/development/tools/alloy
2015-11-17 21:30:43 +01:00
..
default.nix Replace 'with plaforms; platform' with 'platforms.platform' 2015-11-17 21:30:43 +01:00
icon.png Add alloy 4.2_2015-02-22: relational modeller 2015-05-09 01:25:59 +02:00