···

       
80
       
80
       
 
       
    buildInputs = [ curl ];

     

       
81
       
81
       
 
       
  };

     

       
82
       
82
       
 
       


     

       
83
       
83
       
+
       
  curses = attrs: {

     

       
84
       
84
       
+
       
    buildInputs = [ ncurses ];

     

       
85
       
85
       
+
       
  };

     

       
86
       
86
       
+
       


     

       
83
       
87
       
 
       
  dep-selector-libgecode = attrs: {

     

       
84
       
88
       
 
       
    USE_SYSTEM_GECODE = true;

     

       
85
       
89
       
 
       
    postInstall = ''