···

       
7
       
7
       
 
       
, python3

     

       
8
       
8
       
 
       
, z3Support ? true

     

       
9
       
9
       
 
       
, z3 ? null

     

       
10
       
10
       
-
       
, cvc4Support ? true

     

       
10
       
10
       
+
       
, cvc4Support ? gccStdenv.isLinux

     

       
11
       
11
       
 
       
, cvc4 ? null

     

       
12
       
12
       
 
       
, cln ? null

     

       
13
       
13
       
 
       
, gmp ? null

     
···

       
98
       
98
       
 
       
      description = "Compiler for Ethereum smart contract language Solidity";

     

       
99
       
99
       
 
       
      homepage = "https://github.com/ethereum/solidity";

     

       
100
       
100
       
 
       
      license = licenses.gpl3;

     

       
101
       
101
       
-
       
      platforms = with platforms; linux; # darwin is currently broken

     

       
102
       
101
       
 
       
      maintainers = with maintainers; [ dbrock akru lionello sifmelcara ];

     

       
103
       
102
       
 
       
      inherit version;

     

       
104
       
103
       
 
       
    };