Merge pull request #302873 from GaetanLepage/manim

manim: 0.18.0 -> 0.18.0.post0
This commit is contained in:
Sandro 2024-04-09 19:29:22 +02:00 committed by GitHub
commit db5b8a90e4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -47,14 +47,14 @@ let
in python.pkgs.buildPythonApplication rec { in python.pkgs.buildPythonApplication rec {
pname = "manim"; pname = "manim";
pyproject = true; pyproject = true;
version = "0.18.0"; version = "0.18.0.post0";
disabled = python3.pythonOlder "3.8"; disabled = python3.pythonOlder "3.8";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ManimCommunity"; owner = "ManimCommunity";
repo = "manim"; repo = "manim";
rev = "refs/tags/v${version}"; rev = "refs/tags/v${version}";
hash = "sha256-TI7O0b1JvUZAxTj6XfpAJKhbGqrGnhcrE9eRJUVx4GM="; hash = "sha256-4HwQ74oHloK+1KOD6SzXCzGIDD+Dc0jDabw6/+cqmos=";
}; };
nativeBuildInputs = with python.pkgs; [ nativeBuildInputs = with python.pkgs; [