From ef30e659812ec1ad6e7c093c2ea99476679e45f6 Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Wed, 2 May 2018 19:32:12 -0500
Subject: [PATCH] gllvm: 2018-04-28 -> 1.2.0

First tagged release! \o/
---
 pkgs/development/tools/gllvm/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/tools/gllvm/default.nix b/pkgs/development/tools/gllvm/default.nix
index da8f90cd940..470ba291825 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; {