nixpkgs-ci[bot]
73ba35da55
yazi: wrap ya with runtime dependencies ( #553954 )
2026-08-18 15:00:53 +00:00
Austin Horstman
e7b8d7a48a
yazi: wrap ya with runtime dependencies
...
`ya env` resolves dependency executables through PATH. Wrap `ya` with
the same runtime path as `yazi` so packaged optional and extra
dependencies are visible.
2026-08-18 09:46:45 -05:00
Vladimír Čunát
02cc3d2613
knot-dns: 3.5.6 -> 3.5.7 ( #553852 )
2026-08-18 14:44:03 +00:00
Kira Bruneau
98101d14db
nixos/gamemode: restart the service when the package is changed ( #553738 )
2026-08-18 14:43:00 +00:00
StepBroBD
51498c1313
ocamlPackages.mirage-bootvar: init at 1.0.1 ( #553889 )
2026-08-18 14:41:05 +00:00
nixpkgs-ci[bot]
44f6df8347
opa-envoy-plugin: 1.19.0-envoy -> 1.19.1-envoy ( #553930 )
2026-08-18 14:38:06 +00:00
Oleksii Filonenko
a754574fc9
agari: init at 0.24.0
...
https://github.com/agari-industries/agari
Assisted-by: nix-init
2026-08-18 15:07:06 +01:00
Rachala Raj
4b734bcaef
gnome-shell: update description
...
Assisted-by: Antigravity (Gemini 3.1)
2026-08-18 19:34:51 +05:30
nixpkgs-ci[bot]
63b17eeeb5
scaleway-cli: 2.60.0 -> 2.61.0 ( #553912 )
2026-08-18 13:57:59 +00:00
Sandro
f8fdf40a14
pymp4: init at 1.4.0 ( #547409 )
2026-08-18 13:57:08 +00:00
Sandro
da64fdff96
rust-analyzer-unwrapped: 2026-06-15 -> 2026-08-03 ( #536491 )
2026-08-18 13:55:08 +00:00
Samuel Hopstock
a7e8a016ca
python3Packages.ha-mcp: Make available both as standalone application and python package
2026-08-18 15:53:26 +02:00
Sandro
07905dc50a
deno: fix find expression in preInstall, move libdenort.so to its own output ( #548804 )
2026-08-18 13:50:15 +00:00
Yifei Sun
5c8ba696a3
ocamlPackages.cmdliner-stdlib: drop extraneous minimalOCamlVersion
2026-08-18 15:50:03 +02:00
Yifei Sun
8a4404e49b
ocamlPackages.mirage-logs: 2.1.0 -> 3.0.0
2026-08-18 15:50:02 +02:00
Yifei Sun
3a106f6472
ocamlPackages.mirage-bootvar: init at 1.0.1
2026-08-18 15:50:02 +02:00
Sandro
c4cb6db18e
python3Packages.uncalled-for: 0.3.2 -> 0.4.0 ( #553456 )
2026-08-18 13:48:59 +00:00
dram
e5be58209a
mdbook-rss-feed: tell the difference with the full package ( #553380 )
2026-08-18 13:45:46 +00:00
R. Ryantm
9e4eb0d0bd
opa-envoy-plugin: 1.19.0-envoy -> 1.19.1-envoy
2026-08-18 13:43:46 +00:00
pinage404
36a95019ed
mdbook-rss-feed: refactor: move from all-packages to pkgs/by-name
...
inspired by the curl package
2026-08-18 15:40:03 +02:00
Doron Behar
c512223251
beets: Disable flaky tests for all platforms ( #553898 )
2026-08-18 13:39:53 +00:00
Pierre Roux
a162c0b8e6
rocqPackages.mathcomp: fix Coq shim selection
2026-08-18 15:39:38 +02:00
Théo Zimmermann
e49e695680
misc: update labeler following Coq -> Rocq renaming
2026-08-18 15:39:38 +02:00
Théo Zimmermann
3bc15ebf22
rocqPackages.mkRocqDerivation: fix the build of equation by re-introducing COQPATH
...
Dune (in Coq lang mode) requires COQPATH, contrary to other tools such
as coq_makefile.
I used an AI for the last step: getting the suggestion of using
`preBuild` instead of `env`.
Assisted-by: Copilot:Claude Haiku 4.5
2026-08-18 15:39:38 +02:00
Théo Zimmermann
5c53c37c3f
rocqPackages.rocq-core: introduce withPackages
2026-08-18 15:39:38 +02:00
Théo Zimmermann
124e44e7fa
coqPackages: stop building from coq-packages.nix for >= 9
...
Introduce aliases.
coqPackages.rocq-core: introduce as alias of coq for Coq < 9
To facilitate the merging of coq-modules and rocq-modules derivations.
2026-08-18 15:39:37 +02:00
Théo Zimmermann
9ab29d8bf2
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
Pierre Roux
8f7f02caad
rocqPackages.stdpp: merge with coqPackages.stdpp
2026-08-18 15:39:37 +02:00
Pierre Roux
e8ec89d76f
rocqPackages.stdlib: merge with coqPackages.stdlib
2026-08-18 15:39:37 +02:00
Pierre Roux
cc09ca4e4b
rocqPackages.relation-algebra: merge with coqPackages.relation-algebra
2026-08-18 15:39:37 +02:00
Pierre Roux
11b5a8d235
rocqPackages.parseque: merge with coqPackages.parseque
2026-08-18 15:39:36 +02:00
Pierre Roux
ffa34e2ae4
rocqPackages.mathcomp-real-closed: merge with coqPackages.mathcomp-real-closed
2026-08-18 15:39:36 +02:00
Pierre Roux
68c6508265
rocqPackages.mathcomp-finmap: merge with coqPackages.mathcomp-finmap
2026-08-18 15:39:36 +02:00
Pierre Roux
3ac2da7d31
rocqPackages.mathcomp-bigenough: merge with coqPackages.mathcomp-bigenough
2026-08-18 15:39:36 +02:00
Pierre Roux
1d597c0d8a
rocqPackages.mathcomp-analysis: merge with coqPackages.mathcomp-analysis
2026-08-18 15:39:36 +02:00
Pierre Roux
a38b849ba4
rocqPackages.iris: merge with coqPackages.iris
2026-08-18 15:39:35 +02:00
Pierre Roux
0f6109b799
rocqPackages.hierarchy-builder: merge with coqPackages.hierarchy-builder
2026-08-18 15:39:35 +02:00
Pierre Roux
853cde0e77
rocqPackages.mathcomp: merge with coqPackages.mathcomp
...
Make dependency on micromega-plugin optional for compatibility with
versions < 9.
2026-08-18 15:39:35 +02:00
Théo Zimmermann
c9dbdd6408
rocqPackages.bignums: merge with coqPackages.bignums
2026-08-18 15:39:35 +02:00
nixpkgs-ci[bot]
209e2418d8
spruce: 1.35.15 -> 1.35.17 ( #553893 )
2026-08-18 13:35:47 +00:00
Vincent Laporte
0b1cbc3f58
ocamlPackages.cmdliner-stdlib: init at 1.0.1 ( #553886 )
2026-08-18 13:34:26 +00:00
nixpkgs-ci[bot]
10b561f9c1
mochi: 1.21.17 -> 26.8.2 ( #553451 )
2026-08-18 13:09:00 +00:00
Martin Weinelt
e8b1bba9c6
wlr-utils: pin to ffmpeg 8.x ( #553915 )
2026-08-18 13:06:05 +00:00
zowoq
e69b2a00b3
gdu: 5.36.1 -> 5.37.0 ( #553907 )
2026-08-18 12:59:52 +00:00
Martin Weinelt
3231c535bd
wlr-utils: pin to ffmpeg 8.x
...
API breakage, reported upstream in sjourdois/wlr-utils#8 .
2026-08-18 14:59:15 +02:00
R. Ryantm
c3201ad09c
olivetin-3k: 3000.18.1 -> 3000.19.0
2026-08-18 12:53:19 +00:00
Martin Weinelt
b56f428f7b
nixos/wyoming-faster-whisper: fix eval ( #553909 )
2026-08-18 12:52:20 +00:00
Martin Weinelt
1f03163249
nixos/wyoming-faster-whisper: fix eval
2026-08-18 14:46:37 +02:00
R. Ryantm
1f586e7836
scaleway-cli: 2.60.0 -> 2.61.0
2026-08-18 12:45:35 +00:00
nixpkgs-ci[bot]
31cbf9b341
devede: 4.21.3.1 -> 4.22.1 ( #553824 )
2026-08-18 12:44:51 +00:00
