gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,010,846 Commits 9 Branches 0 Tags
12c40f014e2eb2c36f38b18194e3fde96d2e8f2e
Commit Graph
1010846 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Jamie Magee 12c40f014e home-assistant: update component packages 2026-06-04 21:38:34 -07:00
Jamie Magee fa3ce8cb22 python3Packages.aioaquarite: init at 0.6.1 2026-06-04 21:38:34 -07:00
nixpkgs-ci[bot]andGitHub e8a6b8a0b0 yaziPlugins: update on 2026-06-04 (#528001) 2026-06-05 03:58:17 +00:00
nixpkgs-ci[bot]andGitHub 4c70190e3c stable-diffusion-cpp-rocm: master-625-f683c88 -> master-652-92dc726 (#486192) 2026-06-05 03:57:33 +00:00
nixpkgs-ci[bot]andGitHub b10396a109 hcdiag: 0.5.12 -> 0.5.13 (#528197) 2026-06-05 03:03:58 +00:00
kirillrdyandGitHub 19f6b1bd93 manifold: 3.5.0 -> 3.5.1 (#528122) 2026-06-05 03:02:34 +00:00
R. Ryantm d6853264e5 hcdiag: 0.5.12 -> 0.5.13 2026-06-05 02:51:21 +00:00
nixpkgs-ci[bot]andGitHub 4a5c73316a google-cloud-sdk: fix withExtraComponents build (#527528) 2026-06-05 02:29:53 +00:00
Doron BeharandGitHub 70d8b1deff mlt: several improvements (#528168) 2026-06-05 02:08:29 +00:00
Doron Behar f9a0a7b310 mlt: several improvements 
1. Use lib.cmakeBool in cmakeFlags
2. Define in qt{5,6}-packages.nix more elgantly using callPackage
3. Always set all qt flags explicitly
4. Remove `libsForQt5.mlt` (should have been done in 084c1fefd8 version bump).
 2026-06-05 05:01:53 +03:00
Austin HorstmanandGitHub fcfb4d2c1c vimPlugins: update on 2026-06-04 (#528047) 2026-06-05 00:41:00 +00:00
Austin HorstmanandGitHub 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]andGitHub 33b2b54a5d zoho-mail-desktop: 1.7.4 -> 1.9.2 (#490269) 2026-06-04 23:51:13 +00:00
Fabian AffolterandGitHub bfa83392cb python3Packages.hstspreload: 2026.5.1 -> 2026.6.1 (#528157) 2026-06-04 23:33:01 +00:00
Nick CaoandGitHub a90f91c5e1 memtier-benchmark: 2.2.2 -> 2.4.1, adopt (#517412) 2026-06-04 23:32:05 +00:00
Peder Bergebakken SundtandGitHub 9f65ebd502 python3Packages.gradio: add matplotlib, python3Packages.smolagents: 1.25.0 -> 1.26.0 (#527968) 2026-06-04 22:53:19 +00:00
Yohann BonifaceandGitHub 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 WeineltandGitHub 2f6fa7d7fb pythonDocs: init at 3.14, drop 3.10 (#526551) 2026-06-04 22:40:13 +00:00
zowoqandGitHub f0975d124a terraform-providers.hashicorp_kubernetes: 3.1.0 -> 3.2.0 (#528099) 2026-06-04 22:36:03 +00:00
Gaétan LepageandGitHub cbaa8c58b4 yabai: build from source (#353182) 2026-06-04 22:30:23 +00:00
Nick CaoandGitHub f2adc175da mtail: 3.2.53 -> 3.3.0 (#527843) 2026-06-04 22:25:45 +00:00
Yohann BonifaceandGitHub ce08875dca maintainers: drop 0xbe7a (#527896) 2026-06-04 22:09:46 +00:00
Yohann BonifaceandGitHub 3b349f5e03 maintainers: drop callahad (#527974) 2026-06-04 22:09:28 +00:00
Yohann BonifaceandGitHub d3ff0e5e23 maintainers: drop frogamic (#527944) 2026-06-04 22:09:09 +00:00
Fernando RodriguesandGitHub 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 BonifaceandGitHub e517576c9a b612: use installFonts (#528144) 2026-06-04 21:59:31 +00:00
Michele Guerini RoccoandGitHub 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
Austin HorstmanandGitHub d70e5c6915 regal: 0.40.0 -> 0.41.1 (#527264) 2026-06-04 21:29:46 +00:00
Mauricio CollaresandGitHub c93cb7ca2e leanPackages.lean4: 4.29.0 -> 4.30.0 (#511524) 2026-06-04 21:20:34 +00:00
Nadja YangGitHubMauricio Collares
 		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]andGitHub fbac98ae6b tsukimi: 26.5.3 -> 26.6.1 (#527867) 2026-06-04 20:53:16 +00:00
nixpkgs-ci[bot]andGitHub 9e64821f71 tiddit: 3.6.1 -> 3.9.5 (#519202) 2026-06-04 20:52:55 +00:00
kirillrdyandGitHub a628b57493 python3Packages.wandb: 0.27.0 -> 0.27.1 (#527863) 2026-06-04 20:52:43 +00:00
Adam C. StephensandGitHub 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"),
https://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
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
isabelandGitHub 03655c1eef {tranquil-pds, tranquil-pds-frontend}: 0.6.4 -> 0.6.5 (#528112) 2026-06-04 20:42:46 +00:00
EmilyandGitHub 65a12b9cc3 ungoogled-chromium: 148.0.7778.215-1 -> 149.0.7827.53-1 (#528104) 2026-06-04 20:39:28 +00:00
@mjonesandGitHub c7f90bf8f4 apksigner: migrate to finalAttrs (#528071) 2026-06-04 20:16:29 +00:00
Arian van PuttenandGitHub 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