gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,010,831 Commits 9 Branches 0 Tags
9de834dea03bbd68bde7a09e7159fa03e82f21cd
Commit Graph
1010831 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
R. Ryantm 9de834dea0 fetchtastic: 0.10.9 -> 0.10.10 2026-06-05 03:14:01 +00: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
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]andGitHub 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
Marc JakobiandGitHub 7b55e7a073 emmylua-ls: 0.23.1 -> 0.23.2 (#528092) 2026-06-04 19:40:14 +00:00
Nick CaoandGitHub 1b202fe8dc python3Packages.exllamav2: cleanup, fix (#528006) 2026-06-04 19:40:12 +00:00
Austin HorstmanandGitHub ca2007a3c6 yaziPlugins.easyjump: init at 2.0.0 (#527285) 2026-06-04 19:39:50 +00:00
Nick CaoandGitHub 30eed49ca0 vscode-extensions.angular.ng-template: 21.2.4 -> 22.0.0 (#528009) 2026-06-04 19:37:47 +00:00
Nick CaoandGitHub 6cc3299c36 terraform-providers.opentelekomcloud_opentelekomcloud: 1.36.66 -> 1.36.67 (#528007) 2026-06-04 19:37:31 +00:00
Felix BargfeldtandGitHub acf2920800 cornucopia: init at 1.0.0; clorinde: drop (#527547) 2026-06-04 19:36:50 +00:00