StepBroBD
b6c2725f12
ocamlPackages.buildDunePackage: allow multiple dune packages ( #553950 )
2026-08-18 16:02:04 +00:00
sempiternal-aurora
8c223b0953
ocamlPackages.buildDunePackage: allow multiple dune packages
...
A single `dune-project` file can contain multiple packages that dune can
build. This is a problem, because the default dune build command we use
doesn't search through `dune-project` for dependencies, it assumes that
will have already been built and can be found with findlib. See
zipperposition for an example of this.
Adds a new `dunePackages` argument to allow this, defaulting to `[ pname ]`
for backwards compatibility.
2026-08-19 01:24:46 +10: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
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
Michael Daniels
b3e96d1c64
beamPackages.mixRelease: convert to use lib.extendMkDerivation
2026-08-16 16:23:53 -04:00
Rohan
9e22abf3f7
androidenv: generate metadata correctly for abi variants
...
Because a single abi such as x86_64 can have multiple image variants which are not distinguished by checking only the
first tag. Android API 36x were particularly affected as they have both 4kb and 16kb memory page images.
Remove the inconsistent use of `tag` to determine the image path and ID. Instead the path is uniquely determined from
the source XML metadata's location while the `id` uses part of Google's `path` ID.
The `repo.json` is updated incrementally and the last version which was not affected by these issues was `a137f263af92`
so it has been regenerated based on that version.
2026-08-11 12:14:25 +12:00
Sam Pointon
bd6051aa5f
systems: also rename pkgsCross.wasi32, leaving aliases
2026-07-28 19:50:03 +01:00
Austin Horstman
afb89593d4
luarocks-packages-updater: support initial maintainer ( #544218 )
2026-07-22 14:12:33 +00:00
Marc Jakobi
98089f0292
vim.section.md: add note on adding Neovim LuaRocks based plugins ( #544152 )
2026-07-21 13:28:53 +00:00
Austin Horstman
3ba52b0d7a
luarocks-packages-updater: support initial maintainer
...
Allow passing `--maintainers` to add the maintainers for a new package
creation.
2026-07-21 08:13:11 -05:00
Théo Zimmermann
c57117faef
doc: fix typo ( #541799 )
2026-07-21 12:28:45 +00:00
Marc Jakobi
941e594717
vim.section.md: add note on adding Neovim LuaRocks based plugins
2026-07-21 13:16:57 +02:00
Dmitry Kalinkin
c1d4c396f2
doc: added a method to exclude packages from TeX Live collections ( #523729 )
2026-07-19 23:10:21 +00:00
Théo Zimmermann
1b950b50bd
rocqPackages.mkRocqDerivation: change prefix for rocq
...
Make the defauult prefix be set to `[ "rocq" ]` (instead of
`[ "rocq-core" ]`) if `useCoq` is `false`.
This matches the opam convention and ensures that the default
`opam-name` will be correct.
2026-07-15 21:43:39 +02:00
Théo Zimmermann
60d60de3de
doc: fix typo
2026-07-14 15:35:36 +02:00
Vincent Laporte
17be5c5fe7
Delete duplicated code and make mkCoqDerivation a wrapper on top of mkRocqDerivation ( #537856 )
2026-07-13 07:41:58 +00:00
Sefa Eyeoglu
0202989271
pnpm_8: drop
...
Insecure and unmaintained. No consumers in nixpkgs anymore so it can go.
Signed-off-by: Sefa Eyeoglu <contact@scrumplex.net >
2026-07-11 20:04:14 +02:00
Théo Zimmermann
962d8fb3ed
mkRocqDerivation: document new parameters useCoq and useCoqifVersion
2026-07-10 17:56:59 +02:00
Peder Bergebakken Sundt
2c75f32887
docs: re-order Rocq section alphabetically ( #538947 )
2026-07-10 15:29:03 +00:00
Théo Zimmermann
ac33ddde94
doc: re-order Rocq section alphabetically
2026-07-06 13:32:38 +02:00
Michael Daniels
5f07727588
Merge branch 'master' into staging-next
2026-07-05 21:41:03 -04:00
Gergő Gutyina
a62df84c37
doc/javascript.section: recommend fetcherVersion 4 ( #531246 )
2026-07-05 22:24:56 +00:00
nixpkgs-ci[bot]
a692067795
Merge master into staging-next
2026-07-04 00:35:57 +00:00
Johannes Kirschbauer
a58825ce94
doc/manual: init example packaging guide ( #537480 )
2026-07-03 20:55:44 +00:00
Johannes Kirschbauer
acfc12be47
doc/manual: init example packaging guide
...
Used go as example, python and rust where not found suitable due to
theory overhead and multiple competing builder choices
2026-07-03 14:50:03 +02:00
nixpkgs-ci[bot]
be92e0575f
Merge master into staging-next
2026-07-03 12:39:18 +00:00
Johannes Kirschbauer
ea3c357a82
doc: replace "in order to" with "to" ( #523608 )
2026-07-03 09:08:43 +00:00
Johannes Kirschbauer
66241985dc
doc/treewide: replace "in order to" with "to"
...
Fixes a styleguide violation (doc/styleguide.md, "Filler Words and
Weak Phrases"). Release notes excluded.
2026-07-03 11:03:28 +02:00
Johannes Kirschbauer
ad97f5573d
pkgs/nixos-render-docs: replace inlince tocs with collapsible sidebar
...
tables of contents disconnect headings from body text.
decouples heading levels from include type (part,chapter,part etc.)
structure of the sidebar is derived from the include type for now.
Can be changed to a meta file later.
sidebar now uses proper ol-, li-, span-, a-tags
definition tables are not ideal for navigation and accessibility
breaking change:
--toc-depth, --chunk-toc-depth, --section-toc-depth is
now collapsed into --sidebar-depth
2026-07-02 15:44:56 +02:00
nixpkgs-ci[bot]
aac49c0eff
Merge master into staging-next
2026-07-02 00:44:19 +00:00
Johannes Kirschbauer
8a2f69744c
doc/python: state benefit of fixed point arguments
...
drop rec and theoretical introduction
just state the pattern that should be used
2026-07-01 19:05:37 +02:00
K900
caea65bc86
Merge remote-tracking branch 'origin/master' into staging-next
2026-06-27 17:13:58 +03:00
Austin Horstman
a47702c9df
doc/neovim: fix formatting
...
Ran nixfmt and saw untouched section that needed formatting.
2026-06-27 08:57:35 -05:00
Austin Horstman
f7b9e91062
doc/neovim: document plugin lua config type option
...
Explain the type attribute in the plugins list configuration option, showing how to specify a Lua configuration block instead of VimScript.
2026-06-27 08:57:35 -05:00
Austin Horstman
9742b211f4
doc/neovim: fix VimScript comments in examples
...
VimScript comments start with a double quote (") instead of a hash sign (#).
2026-06-27 08:57:35 -05:00
Austin Horstman
46689fa74a
doc/neovim: correct configuration overrides example
...
Correct configuration overrides example to use neovim.override instead of overrideAttrs.
2026-06-27 08:57:35 -05:00
Austin Horstman
66e23f410b
doc/neovim: document wrapNeovimUnstable options
...
Document extraPython3Packages, withPerl, vimAlias, viAlias, and extraName options for wrapNeovimUnstable.
2026-06-27 08:57:35 -05:00
Martin Weinelt
9ade44f1d4
Merge remote-tracking branch 'origin/staging' into staging-next
...
Conflicts:
- pkgs/top-level/nixpkgs-basic-release-checks.nix
2026-06-27 01:13:12 +02:00
Austin Horstman
df34580aae
doc/neovim: document WASM treesitter parsers
...
Show how to use the existing wasi32 cross parser set with
wasm-enabled Neovim, and explain why native and WASM parsers
should not be mixed for one language.
2026-06-26 13:55:49 -05:00
nixpkgs-ci[bot]
0f0b57829b
Merge staging-next into staging
2026-06-22 17:40:41 +00:00
K900
8f26ec5602
pnpmConfigHook: allow opt-out
...
This is sometimes useful when mixing ecosystems, e.g. in buildGoModule.
2026-06-22 18:44:29 +03:00
nixpkgs-ci[bot]
87a9b3959a
Merge staging-next into staging
2026-06-17 00:51:16 +00:00
Austin Horstman
ba261354d6
doc: update outdated neovim-luarocks-based-plugins section ( #532460 )
2026-06-16 20:53:21 +00:00
Marc Jakobi
865a4dd05c
doc: update outdated neovim-luarocks-based-plugins section
2026-06-16 22:39:42 +02:00
Marc Jakobi
a3414fc47e
doc: add note on adding a single Lua package
2026-06-16 22:27:30 +02:00
Stefan Frijters
720365f01c
wrapGAppsHook: only wrap out/$outputBin by default ( #526688 )
2026-06-16 20:01:39 +00:00
Arne Keller
0d4d62432d
maven_4: init at 4.0.0-rc5 ( #516100 )
2026-06-16 18:59:44 +00:00
Ilan Joselevich
1c56877f68
buildRustCrate: add useClippy parameter to lint with clippy-driver ( #521993 )
2026-06-16 16:08:42 +00:00
Stefan Frijters
e858e80fb1
wrapGAppsHook: only wrap $outBin by default
2026-06-15 18:52:51 +02:00