From 9944fed2501ba6e3bbfa1862d33f12b2f81927d2 Mon Sep 17 00:00:00 2001
From: Mauricio Collares <mauricio@collares.org>
Date: Wed, 18 Jun 2025 21:33:57 -0300
Subject: [PATCH] sage: pin python to 3.12 for getrandbits() compat

---
 pkgs/by-name/sa/sage/package.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pkgs/by-name/sa/sage/package.nix b/pkgs/by-name/sa/sage/package.nix
index 0244119055cd..50ba8c2b6d01 100644
--- a/pkgs/by-name/sa/sage/package.nix
+++ b/pkgs/by-name/sa/sage/package.nix
@@ -12,8 +12,9 @@
 let
   inherit (pkgs) symlinkJoin callPackage nodePackages;
 
-  python3 = pkgs.python3 // {
-    pkgs = pkgs.python3.pkgs.overrideScope (
+  # TODO: unpin python when #416039 reaches master
+  python3 = pkgs.python312 // {
+    pkgs = pkgs.python312.pkgs.overrideScope (
       self: super: {
         # `sagelib`, i.e. all of sage except some wrappers and runtime dependencies
         sagelib = self.callPackage ./sagelib.nix {