diff options
author | Will Dietz <github@wdtz.org> | 2018-05-02 20:22:40 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-02 20:22:40 -0500 |
commit | 54b90e5f96c098f36e766cd827267c6fed62abb0 (patch) | |
tree | b6542fdc34d3a9811f3f3470bac020e2f3b48ebb /pkgs | |
parent | 380c91ddfb58aef60d06d6b3c481eb0ad4c4a532 (diff) | |
parent | ef30e659812ec1ad6e7c093c2ea99476679e45f6 (diff) |
Merge pull request #39900 from dtzWill/update/gllvm-1.2.0
gllvm: 2018-04-28 -> 1.2.0
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/tools/gllvm/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/tools/gllvm/default.nix b/pkgs/development/tools/gllvm/default.nix index da8f90cd9406f..470ba291825ae 100644 --- a/pkgs/development/tools/gllvm/default.nix +++ b/pkgs/development/tools/gllvm/default.nix @@ -2,15 +2,15 @@ buildGoPackage rec { name = "gllvm-${version}"; - version = "2018-04-28"; # ~= 1.0.2, but no release tags yet + version = "1.2.0"; goPackagePath = "github.com/SRI-CSL/gllvm"; src = fetchFromGitHub { owner = "SRI-CSL"; repo = "gllvm"; - rev = "7755cdabb9bd2c5115059c13dce986e4e38f624e"; - sha256 = "0a7mzmshyl4m216cxnar0pzjq98n2678x0czqfxgfdga55xp5frl"; + rev = "v${version}"; + sha256 = "0779828kzw9ihdnw5r3h2fzzd8ml8cskyf5hmaqqksinjb7bm3is"; }; meta = with stdenv.lib; { |