···

       
8722
       
8722
       
 
       


     

       
8723
       
8723
       
 
       
  prompt_toolkit = buildPythonPackage rec {

     

       
8724
       
8724
       
 
       
    name = "prompt_toolkit-${version}";

     

       
8725
       
8725
       
-
       
    version = "0.37";

     

       
8725
       
8725
       
+
       
    version = "0.38";

     

       
8726
       
8726
       
 
       


     

       
8727
       
8727
       
 
       
    src = pkgs.fetchurl {

     

       
8728
       
8728
       
 
       
      url = "https://pypi.python.org/packages/source/p/prompt_toolkit/${name}.tar.gz";

     

       
8729
       
8729
       
-
       
      sha256 = "0nb87j4dgv16wf998ga8ia4fwd3p9wizrx3m7h0rwqcpn2x0l3v8";

     

       
8729
       
8729
       
+
       
      sha256 = "0rjy5n79h8sc6wpw6nwys52rin7i4qlfy51y7vws303mficjkvkc";

     

       
8730
       
8730
       
 
       
    };

     

       
8731
       
8731
       
 
       


     

       
8732
       
8732
       
 
       
    buildInputs = with self; [ jedi ipython pygments ];