···

       
22
       
22
       
 
       
  src = fetchFromGitHub {

     

       
23
       
23
       
 
       
    owner = "CravateRouge";

     

       
24
       
24
       
 
       
    repo = "minikerberos-bAD";

     

       
25
       
25
       
-
       
    rev = version;

     

       
25
       
25
       
+
       
    tag = version;

     

       
26
       
26
       
 
       
    hash = "sha256-pnIn7UOpnCke6voFvOwcONXDd9i/di1lE/57vkg0/0w=";

     

       
27
       
27
       
 
       
  };

     

       
28
       
28