c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-06 17:13:24 -05:00
Code Issues Projects Releases Packages Wiki Activity
1,011,668 commits 420 branches 81 tags 30 GiB
Commit graph

1,011,668 commits

This branch
This branch
All branches
Author SHA1 Message Date
Harinn
ff06813090 python3Packages.appnope: modernize 2026-06-05 09:53:12 +07:00
Harinn
439b608eaa python3Packages.appnope: migrate to pyproject 2026-06-05 09:53:12 +07:00
nixpkgs-ci[bot]
368e7de99b
 		Merge staging-next into staging 2026-06-05 00:47:55 +00:00
nixpkgs-ci[bot]
4468c00e13
 		Merge master into staging-next 2026-06-05 00:47:08 +00:00
Austin Horstman
fcfb4d2c1c
 		vimPlugins: update on 2026-06-04 (#528047) 2026-06-05 00:41:00 +00:00
Austin Horstman
f4d2fa6b5c
 		nixpkgs-plugin-update: misc tweaks (#524502) 2026-06-05 00:34:45 +00:00
Austin Horstman
83dfa4f044
 		vimPlugins: update on 2026-06-04 2026-06-04 19:26:03 -05:00
nixpkgs-ci[bot]
33b2b54a5d
 		zoho-mail-desktop: 1.7.4 -> 1.9.2 (#490269) 2026-06-04 23:51:13 +00:00
Fabian Affolter
bfa83392cb
 		python3Packages.hstspreload: 2026.5.1 -> 2026.6.1 (#528157) 2026-06-04 23:33:01 +00:00
Nick Cao
a90f91c5e1
 		memtier-benchmark: 2.2.2 -> 2.4.1, adopt (#517412) 2026-06-04 23:32:05 +00:00
Peder Bergebakken Sundt
9f65ebd502
 		python3Packages.gradio: add matplotlib, python3Packages.smolagents: 1.25.0 -> 1.26.0 (#527968) 2026-06-04 22:53:19 +00:00
Yohann Boniface
7543a1154a
 		python3Packages.anyconfig: migrate to pyproject (#527955) 2026-06-04 22:46:56 +00:00
R. Ryantm
4c926e2c43 python3Packages.hstspreload: 2026.5.1 -> 2026.6.1 2026-06-04 22:43:14 +00:00
Martin Weinelt
2f6fa7d7fb
 		pythonDocs: init at 3.14, drop 3.10 (#526551) 2026-06-04 22:40:13 +00:00
zowoq
f0975d124a
 		terraform-providers.hashicorp_kubernetes: 3.1.0 -> 3.2.0 (#528099) 2026-06-04 22:36:03 +00:00
Gaétan Lepage
cbaa8c58b4
 		yabai: build from source (#353182) 2026-06-04 22:30:23 +00:00
Nick Cao
f2adc175da
 		mtail: 3.2.53 -> 3.3.0 (#527843) 2026-06-04 22:25:45 +00:00
Grimmauld
83ad3eb1ec
 		apparmor-parser: pick upstream patch for yacc format-security issues (#528105) 2026-06-04 22:17:19 +00:00
Yohann Boniface
ce08875dca
 		maintainers: drop 0xbe7a (#527896) 2026-06-04 22:09:46 +00:00
Yohann Boniface
3b349f5e03
 		maintainers: drop callahad (#527974) 2026-06-04 22:09:28 +00:00
Yohann Boniface
d3ff0e5e23
 		maintainers: drop frogamic (#527944) 2026-06-04 22:09:09 +00:00
Fernando Rodrigues
d6aa41cc0a
 		dev86: 1.0.1-unstable-2025-02-12 -> 1.0.1-unstable-2026-05-15 (#525628) 2026-06-04 22:02:03 +00:00
Yohann Boniface
e517576c9a
 		b612: use installFonts (#528144) 2026-06-04 21:59:31 +00:00
Michele Guerini Rocco
27c732a56b
 		nixos/network-interfaces-scripted: fix shellcheck for bridge reload (#527817) 2026-06-04 21:41:19 +00:00
pancaek
ac4cc7da8f b612: use installFonts 2026-06-04 14:41:03 -07:00
dotlambda
079b84df24
 		libde265: 1.0.19 -> 1.1.0 (#526984) 2026-06-04 21:30:27 +00:00
Austin Horstman
d70e5c6915
 		regal: 0.40.0 -> 0.41.1 (#527264) 2026-06-04 21:29:46 +00:00
Mauricio Collares
c93cb7ca2e
 		leanPackages.lean4: 4.29.0 -> 4.30.0 (#511524) 2026-06-04 21:20:34 +00:00
Nadja Yang
d63d353258
 		leanPackages.mathlib: add comment for leangz-raw 
Co-authored-by: Mauricio Collares <mauricio@collares.org>
 2026-06-04 17:13:18 -04:00
nixpkgs-ci[bot]
fbac98ae6b
 		tsukimi: 26.5.3 -> 26.6.1 (#527867) 2026-06-04 20:53:16 +00:00
nixpkgs-ci[bot]
9e64821f71
 		tiddit: 3.6.1 -> 3.9.5 (#519202) 2026-06-04 20:52:55 +00:00
kirillrdy
a628b57493
 		python3Packages.wandb: 0.27.0 -> 0.27.1 (#527863) 2026-06-04 20:52:43 +00:00
Adam C. Stephens
eae5cd6c5d
 		dexter: 0.6.0 -> 0.7.0 (#525591) 2026-06-04 20:50:03 +00:00
Nadja Yang
bdea40b4ed leanPackages.mathlib: lgz preprocessing 
Per-module leantar strips olean structural overhead. See
https://github.com/NixOS/nixpkgs/pull/511524#issuecomment-4615610073
 2026-06-04 16:48:52 -04:00
Nadja Yang
b606786817 leanPackages: 4.29.1 -> 4.30.0 
Add leangz (leantar) as a new build and runtime dependency.

https://github.com/leanprover/lean4/releases/tag/v4.30.0
https://github.com/leanprover-community/mathlib4/blob/v4.30.0/lake-manifest.json
 2026-06-04 16:48:52 -04:00
Nadja Yang
5d81234142 leanPackages.lean4: pin cadical to 2.1.3, add smoke test 
cadical >= 2.2.0 produces LRAT proofs Lean's checker does not
yet handle, breaking bv_decide.

https://github.com/NixOS/nixpkgs/pull/514456/commits/0eced05aae1e4493a97609f3c3f7613ecf55f91f
 2026-06-04 16:48:52 -04:00
Nadja Yang
fb169268a3 leanPackages.mathlib: harmonize output with Hydra strictures via artifact pre-densification 
Rejecting an unwieldy originalist interpretation of the max_output_size
infrastructure mandate [1] — which, by checking NAR size pre-compression,
might be read to foreclose in-NAR densification — this commit resolves
the tension between binary cache availability and statutory size
discipline through equitable artifact pre-densification.

Specifically, we execute xz compression during the postInstall phase
of an intermediate derivation, coupled with a non-Hydra wrapper that
decompresses the payload transparently. This insulates end-users from
the underlying .tar.xz monolith while satisfying the strict procedural
requirements of the build farm's sensors.

We acknowledge reservations regarding the broader applicability of the
unorthodox pattern incepted herein.

See also Jakštys, commit msg. to bbd0655ae8 (2024) ("[intending]
to replace the `passthru.data-compressed` derivations that ha[d]
accumulated in nixpkgs with something more reusable"),
bbd0655ae8

Cf. Luna Nova, hipblaslt/default.nix ll. 113-114 (2026) (patching
hipblaslt C++ runtime to transparently decompress zstd-compressed
.dat files, as "required to keep [the] output under [H]ydra size
limit"), fc1f8110e8/pkgs/development/rocm-modules/hipblaslt/default.nix (L113-L114)

Cf. SuperSandro2000, Review of NixOS/nixpkgs#511524 (this PR) (2026)
("[w]hy not compress the well compressable [.olean] files in nix
with zstd?") (in dicta; a fortiori),
https://github.com/NixOS/nixpkgs/pull/511524#discussion_r3137725277

But cf. Yureka, gclient2nix.py ll. 162-167 (2025) (characterizing
recompression as "bypassing the size limit (making it count the
compressed instead of uncompressed size) rather than complying with
it"), 4dc9b83879/pkgs/by-name/gc/gclient2nix/gclient2nix.py (L162-L167)

[1] NixOS Infrastructure Cap., 170012a468/build/hydra.nix (L116)
 2026-06-04 16:48:52 -04:00
Nadja Yang
cefae5621e leanPackages.lean4: use nixpkgs cadical, patch all binaries 
Lean binaries derive sysroot from IO.appPath; patch all of them
rather than just lean and lake. Add cadical to symlinkJoin paths
instead of bundling a copy via INSTALL_CADICAL.

https://github.com/NixOS/nixpkgs/pull/513024/changes/ed10debb3c8ad78e687521bb802383e21cd74472
 2026-06-04 16:48:52 -04:00
Nadja Yang
6987e3afbe leanPackages.lean4: 4.29.0 -> 4.29.1 
Strip ephemeral setup.json build artifacts from library outputs.
These are produced per-module during compilation and not included
in upstream cache distributions
(https://github.com/NixOS/nixpkgs/issues/510957).

Disable Hydra builds for mathlib since the output exceeds the NAR
size limit.

Pre-build static library for batteries so downstream executables
can link against it.

Refactor update.sh to pin each dependency to the rev from mathlib's
lake-manifest.json.
 2026-06-04 16:48:52 -04:00
Nadja Yang
590ccdb420 leanPackages: partially revert https://github.com/NixOS/nixpkgs/pull/526718/commits/a26b66330f6fa572e7005ee2a1eb031093456e6e 
In favor of https://github.com/NixOS/nixpkgs/pull/511524
(https://github.com/NixOS/nixpkgs/pull/511524/commits/72b8bcfd8ef837cfddc1cacc0bd4c7b8b3998e59).

Retains pkgs.lean4 at 4.30.0.
 2026-06-04 16:48:52 -04:00
isabel
03655c1eef
 		{tranquil-pds, tranquil-pds-frontend}: 0.6.4 -> 0.6.5 (#528112) 2026-06-04 20:42:46 +00:00
Emily
65a12b9cc3
 		ungoogled-chromium: 148.0.7778.215-1 -> 149.0.7827.53-1 (#528104) 2026-06-04 20:39:28 +00:00
@mjones
c7f90bf8f4
 		apksigner: migrate to finalAttrs (#528071) 2026-06-04 20:16:29 +00:00
Grimmauld
41a37cc083
 		apparmor-parser: pick upstream patch for yacc format-security issues 2026-06-04 22:09:39 +02:00
Arian van Putten
7db1353a41
 		fluent-bit: 5.0.5 -> 5.0.6 (#523921) 2026-06-04 20:09:31 +00:00
nelind
a1562a2a29
 		tranquil-pds-frontend: 0.6.4 -> 0.6.5 2026-06-04 22:06:01 +02:00
nelind
cdeae31bb0
 		tranquil-pds: 0.6.4 -> 0.6.5 2026-06-04 22:06:01 +02:00
emilylange
193479f2bb
 		ungoogled-chromium: 148.0.7778.215-1 -> 149.0.7827.53-1 
https://developer.chrome.com/blog/new-in-chrome-149

https://developer.chrome.com/release-notes/149

https://chromereleases.googleblog.com/2026/06/stable-channel-update-for-desktop.html
 2026-06-04 22:06:00 +02:00
nixpkgs-ci[bot]
ca5db8365f
 		pulsemeeter: 2.0.0 -> 2.1.1 (#516927) 2026-06-04 19:58:43 +00:00
R. Ryantm
72dbb39ba6 terraform-providers.hashicorp_kubernetes: 3.1.0 -> 3.2.0 2026-06-04 19:48:32 +00:00