diff options
author | Will Dietz <w@wdtz.org> | 2018-05-02 19:32:12 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-05-02 19:32:12 -0500 |
commit | ef30e659812ec1ad6e7c093c2ea99476679e45f6 (patch) | |
tree | 1f389d9d99a8ee321490be3057d1bb5c8393150d /pkgs/development/tools/gllvm | |
parent | 51c13292bd413614a981fb4381ac8063baed14ec (diff) |
gllvm: 2018-04-28 -> 1.2.0
First tagged release! \o/
Diffstat (limited to 'pkgs/development/tools/gllvm')
-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; { |