···

       
2
       
2
       
 
       


     

       
3
       
3
       
 
       
buildGoPackage rec {

     

       
4
       
4
       
 
       
  name = "gllvm-${version}";

     

       
5
       
5
       
-
       
  version = "2018-02-09";

     

       
5
       
5
       
+
       
  version = "2018-04-28"; # ~= 1.0.2, but no release tags yet

     

       
6
       
6
       
 
       


     

       
7
       
7
       
 
       
  goPackagePath = "github.com/SRI-CSL/gllvm";

     

       
8
       
8
       
 
       


     

       
9
       
9
       
 
       
  src = fetchFromGitHub {

     

       
10
       
10
       
 
       
    owner = "SRI-CSL";

     

       
11
       
11
       
 
       
    repo = "gllvm";

     

       
12
       
12
       
-
       
    rev = "ef83222afd22452dd1277329df227a326db9f84f";

     

       
13
       
13
       
-
       
    sha256 = "068mc8q7jmpjzh6pr0ygvv39mh4k7vz0dmiacxf3pdsigy3d1y1a";

     

       
12
       
12
       
+
       
    rev = "7755cdabb9bd2c5115059c13dce986e4e38f624e";

     

       
13
       
13
       
+
       
    sha256 = "0a7mzmshyl4m216cxnar0pzjq98n2678x0czqfxgfdga55xp5frl";

     

       
14
       
14
       
 
       
  };

     

       
15
       
15
       
 
       


     

       
16
       
16
       
 
       
  meta = with stdenv.lib; {