···

       
14
       
14
       
 
       


     

       
15
       
15
       
 
       
buildPythonPackage rec {

     

       
16
       
16
       
 
       
  pname = "symbolic";

     

       
17
       
17
       
-
       
  version = "12.16.2";

     

       
17
       
17
       
+
       
  version = "12.16.3";

     

       
18
       
18
       
 
       
  pyproject = true;

     

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
  src = fetchFromGitHub {

     
···

       
23
       
23
       
 
       
    tag = version;

     

       
24
       
24
       
 
       
    # the `py` directory is not included in the tarball, so we fetch the source via git instead

     

       
25
       
25
       
 
       
    forceFetchGit = true;

     

       
26
       
26
       
-
       
    hash = "sha256-1auaIvm9y6iIhRC+mU6PX7vsPok0CDVJHLd4nx5j5wU=";

     

       
26
       
26
       
+
       
    hash = "sha256-Qs457hAMwuCvLFZ9XMjJYv6SZ/Btietq6brJghr3XEs=";

     

       
27
       
27
       
 
       
  };

     

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
  cargoDeps = rustPlatform.fetchCargoVendor {

     

       
30
       
30
       
 
       
    inherit pname version src;

     

       
31
       
31
       
-
       
    hash = "sha256-uHRgV+wcdOsFqcYBMCJqy4CADN8XpXeKuVAsjI54Y9I=";

     

       
31
       
31
       
+
       
    hash = "sha256-6nlmKrIukuOzKCEOVcHBemVUyTjxcSsiXjq5OGF2WjQ=";

     

       
32
       
32
       
 
       
  };

     

       
33
       
33
       
 
       


     

       
34
       
34
       
 
       
  nativeBuildInputs = [