bfa83392cb
python3Packages.hstspreload: 2026.5.1 -> 2026.6.1 ( #528157 )
2026-06-04 23:33:01 +00:00
a90f91c5e1
memtier-benchmark: 2.2.2 -> 2.4.1, adopt ( #517412 )
2026-06-04 23:32:05 +00:00
9f65ebd502
python3Packages.gradio: add matplotlib, python3Packages.smolagents: 1.25.0 -> 1.26.0 ( #527968 )
2026-06-04 22:53:19 +00:00
7543a1154a
python3Packages.anyconfig: migrate to pyproject ( #527955 )
2026-06-04 22:46:56 +00:00
4c926e2c43
python3Packages.hstspreload: 2026.5.1 -> 2026.6.1
2026-06-04 22:43:14 +00:00
2f6fa7d7fb
pythonDocs: init at 3.14, drop 3.10 ( #526551 )
2026-06-04 22:40:13 +00:00
f0975d124a
terraform-providers.hashicorp_kubernetes: 3.1.0 -> 3.2.0 ( #528099 )
2026-06-04 22:36:03 +00:00
cbaa8c58b4
yabai: build from source ( #353182 )
2026-06-04 22:30:23 +00:00
f2adc175da
mtail: 3.2.53 -> 3.3.0 ( #527843 )
2026-06-04 22:25:45 +00:00
ce08875dca
maintainers: drop 0xbe7a ( #527896 )
2026-06-04 22:09:46 +00:00
3b349f5e03
maintainers: drop callahad ( #527974 )
2026-06-04 22:09:28 +00:00
d3ff0e5e23
maintainers: drop frogamic ( #527944 )
2026-06-04 22:09:09 +00:00
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
e517576c9a
b612: use installFonts ( #528144 )
2026-06-04 21:59:31 +00:00
27c732a56b
nixos/network-interfaces-scripted: fix shellcheck for bridge reload ( #527817 )
2026-06-04 21:41:19 +00:00
ac4cc7da8f
b612: use installFonts
2026-06-04 14:41:03 -07:00
d70e5c6915
regal: 0.40.0 -> 0.41.1 ( #527264 )
2026-06-04 21:29:46 +00:00
c93cb7ca2e
leanPackages.lean4: 4.29.0 -> 4.30.0 ( #511524 )
2026-06-04 21:20:34 +00:00
d63d353258
leanPackages.mathlib: add comment for leangz-raw
...
Co-authored-by: Mauricio Collares <mauricio@collares.org >
2026-06-04 17:13:18 -04:00
fbac98ae6b
tsukimi: 26.5.3 -> 26.6.1 ( #527867 )
2026-06-04 20:53:16 +00:00
9e64821f71
tiddit: 3.6.1 -> 3.9.5 ( #519202 )
2026-06-04 20:52:55 +00:00
a628b57493
python3Packages.wandb: 0.27.0 -> 0.27.1 ( #527863 )
2026-06-04 20:52:43 +00:00
eae5cd6c5d
dexter: 0.6.0 -> 0.7.0 ( #525591 )
2026-06-04 20:50:03 +00:00
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
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
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
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 bbd0655ae8https://github.com/NixOS/nixpkgs/commit/bbd0655ae828b9f1cf39d891b52aa6506394ef46
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"), https://github.com/NixOS/nixpkgs/blob/fc1f8110e84b7a874826eee147170aee85082390/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"), https://github.com/NixOS/nixpkgs/blob/4dc9b83879ce51e180f37acb8e78ededdbf72798/pkgs/by-name/gc/gclient2nix/gclient2nix.py#L162-L167
[1] NixOS Infrastructure Cap., https://github.com/NixOS/infra/blob/170012a4682da0a130f6bc68caf3618743239783/build/hydra.nix#L116
2026-06-04 16:48:52 -04:00
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
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
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
03655c1eef
{tranquil-pds, tranquil-pds-frontend}: 0.6.4 -> 0.6.5 ( #528112 )
2026-06-04 20:42:46 +00:00
65a12b9cc3
ungoogled-chromium: 148.0.7778.215-1 -> 149.0.7827.53-1 ( #528104 )
2026-06-04 20:39:28 +00:00
c7f90bf8f4
apksigner: migrate to finalAttrs ( #528071 )
2026-06-04 20:16:29 +00:00
7db1353a41
fluent-bit: 5.0.5 -> 5.0.6 ( #523921 )
2026-06-04 20:09:31 +00:00
a1562a2a29
tranquil-pds-frontend: 0.6.4 -> 0.6.5
2026-06-04 22:06:01 +02:00
cdeae31bb0
tranquil-pds: 0.6.4 -> 0.6.5
2026-06-04 22:06:01 +02:00
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
ca5db8365f
pulsemeeter: 2.0.0 -> 2.1.1 ( #516927 )
2026-06-04 19:58:43 +00:00
72dbb39ba6
terraform-providers.hashicorp_kubernetes: 3.1.0 -> 3.2.0
2026-06-04 19:48:32 +00:00
7b55e7a073
emmylua-ls: 0.23.1 -> 0.23.2 ( #528092 )
2026-06-04 19:40:14 +00:00
1b202fe8dc
python3Packages.exllamav2: cleanup, fix ( #528006 )
2026-06-04 19:40:12 +00:00
ca2007a3c6
yaziPlugins.easyjump: init at 2.0.0 ( #527285 )
2026-06-04 19:39:50 +00:00
30eed49ca0
vscode-extensions.angular.ng-template: 21.2.4 -> 22.0.0 ( #528009 )
2026-06-04 19:37:47 +00:00
6cc3299c36
terraform-providers.opentelekomcloud_opentelekomcloud: 1.36.66 -> 1.36.67 ( #528007 )
2026-06-04 19:37:31 +00:00
acf2920800
cornucopia: init at 1.0.0; clorinde: drop ( #527547 )
2026-06-04 19:36:50 +00:00
7c2ddb9a54
fence: 0.1.58 -> 0.1.60 ( #527999 )
2026-06-04 19:36:26 +00:00
c17d747792
sketchybar: 2.23.0 -> 2.24.0 ( #528091 )
2026-06-04 19:35:39 +00:00
fd557e0c65
copybara: 20260525 -> 20260601 ( #527985 )
2026-06-04 19:35:27 +00:00
37c688718b
mailpit: 1.30.0 -> 1.30.1 ( #528049 )
2026-06-04 19:31:27 +00:00
e841a68655
terraform-providers.newrelic_newrelic: 3.90.0 -> 3.91.0 ( #528032 )
2026-06-04 19:29:32 +00:00
Fabian Affolter