···

       
51
       
 
       


     

       
52
       
 
       
  nativeCheckInputs = [ ncurses5 ];

     

       
53
       
 
       


     

       
54
       
-
       
  meta = with lib; {

     

       
55
       
 
       
    description = "High-performance theorem prover and SMT solver";

     

       
56
       
 
       
    homepage = "https://yices.csl.sri.com";

     

       
57
       
-
       
    license = licenses.gpl3;

     

       
58
       
-
       
    platforms = with platforms; linux ++ darwin;

     

       
59
       
-
       
    maintainers = with maintainers; [ thoughtpolice ];

     

       
60
       
 
       
  };

     

       
61
       
 
       
})

     

···

       
51
       
 
       


     

       
52
       
 
       
  nativeCheckInputs = [ ncurses5 ];

     

       
53
       
 
       


     

       
54
       
+
       
  meta = {

     

       
55
       
 
       
    description = "High-performance theorem prover and SMT solver";

     

       
56
       
 
       
    homepage = "https://yices.csl.sri.com";

     

       
57
       
+
       
    license = lib.licenses.gpl3Plus;

     

       
58
       
+
       
    platforms = lib.platforms.linux ++ lib.platforms.darwin;

     

       
59
       
+
       
    maintainers = with lib.maintainers; [ thoughtpolice ];

     

       
60
       
 
       
  };

     

       
61
       
 
       
})