Loading pkgs/development/tools/alloy/default.nix +3 −3 Original line number Diff line number Diff line Loading @@ -71,12 +71,12 @@ in rec { alloy5 = generic { version = "5.1.0"; sha256 = "02k9khs4k5nc86x9pp5k3vcb0kiwdgcin46mlap4fycnr673xd53"; sha256 = "sha256-o7Q+jsmWeUeuotUQG9lrPE6w2B6z3Ju6QcyWSTScaQo="; }; alloy6 = generic { version = "6.0.0"; sha256 = "sha256-rA7mNxcu0DWkykMyfV4JwFmQqg0HOIcwjjD4jCRxNww="; version = "6.2.0"; sha256 = "sha256-a4wctbyTvt/HxhQ1xOGrbmiKJC3HAqOUYo2amAHtt40="; }; alloy = alloy5; Loading Loading
pkgs/development/tools/alloy/default.nix +3 −3 Original line number Diff line number Diff line Loading @@ -71,12 +71,12 @@ in rec { alloy5 = generic { version = "5.1.0"; sha256 = "02k9khs4k5nc86x9pp5k3vcb0kiwdgcin46mlap4fycnr673xd53"; sha256 = "sha256-o7Q+jsmWeUeuotUQG9lrPE6w2B6z3Ju6QcyWSTScaQo="; }; alloy6 = generic { version = "6.0.0"; sha256 = "sha256-rA7mNxcu0DWkykMyfV4JwFmQqg0HOIcwjjD4jCRxNww="; version = "6.2.0"; sha256 = "sha256-a4wctbyTvt/HxhQ1xOGrbmiKJC3HAqOUYo2amAHtt40="; }; alloy = alloy5; Loading