Merge branch 'master' into current

This commit is contained in:
2025-09-25 07:06:40 +02:00

View File

@@ -14,7 +14,7 @@
buildPythonPackage rec {
pname = "symbolic";
version = "12.16.2";
version = "12.16.3";
pyproject = true;
src = fetchFromGitHub {
@@ -23,12 +23,12 @@ buildPythonPackage rec {
tag = version;
# the `py` directory is not included in the tarball, so we fetch the source via git instead
forceFetchGit = true;
hash = "sha256-1auaIvm9y6iIhRC+mU6PX7vsPok0CDVJHLd4nx5j5wU=";
hash = "sha256-Qs457hAMwuCvLFZ9XMjJYv6SZ/Btietq6brJghr3XEs=";
};
cargoDeps = rustPlatform.fetchCargoVendor {
inherit pname version src;
hash = "sha256-uHRgV+wcdOsFqcYBMCJqy4CADN8XpXeKuVAsjI54Y9I=";
hash = "sha256-6nlmKrIukuOzKCEOVcHBemVUyTjxcSsiXjq5OGF2WjQ=";
};
nativeBuildInputs = [