···

       
36
       
36
       
 
       
    '';

     

       
37
       
37
       
 
       


     

       
38
       
38
       
 
       
    nativeBuildInputs = [ findlib ];

     

       
39
       
39
       
-
       
    propagatedBuildInputs = [ zarith ];

     

       
39
       
39
       
+
       
    propagatedBuildInputs = [

     

       
40
       
40
       
+
       
      z3-with-ocaml.lib

     

       
41
       
41
       
+
       
      zarith

     

       
42
       
42
       
+
       
    ];

     

       
40
       
43
       
 
       


     

       
41
       
44
       
 
       
    strictDeps = true;

     

       
42
       
45