···

       
11
       
11
       
 
       
  pname = "patch";

     

       
12
       
12
       
 
       
  version = "2.0.0";

     

       
13
       
13
       
 
       


     

       
14
       
14
       
+
       
  minimalOCamlVersion = "4.03";

     

       
15
       
15
       
+
       


     

       
14
       
16
       
 
       
  src = fetchFromGitHub {

     

       
15
       
17
       
 
       
    owner = "hannesm";

     

       
16
       
18
       
 
       
    repo = "patch";