From d63d353258b2124b3757ae770e08c8eae14bebfc Mon Sep 17 00:00:00 2001
From: Nadja Yang <nadja@njy.dev>
Date: Thu, 4 Jun 2026 17:13:18 -0400
Subject: [PATCH] leanPackages.mathlib: add comment for leangz-raw

Co-authored-by: Mauricio Collares <mauricio@collares.org>
---
 pkgs/development/lean-modules/mathlib/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/lean-modules/mathlib/default.nix b/pkgs/development/lean-modules/mathlib/default.nix
index 36e3222f0033..8b76f66964c4 100644
--- a/pkgs/development/lean-modules/mathlib/default.nix
+++ b/pkgs/development/lean-modules/mathlib/default.nix
@@ -15,6 +15,7 @@
 }:
 
 let
+  # build leangz without zstd support, to improve Hydra's xz compression ratio
   leangz-raw = leangz.overrideAttrs { cargoBuildNoDefaultFeatures = true; };
 
   mathlib__archive = buildLakePackage (finalAttrs: {