gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,043,046 Commits 9 Branches 0 Tags
current
Commit Graph

21 Commits

Author SHA1 Message Date
Théo Zimmermann 0235b9517e mkCoqDerivation: make a wrapper on top of mkRocqDerivation 2026-07-10 17:56:53 +02:00
Théo Zimmermann e595314e09 coqPackages.vscoq-language-server: update URL of repository 2026-01-14 11:15:59 +01:00
Théo Zimmermann b180c430ef Revert "coqPackages.vscoq-language-server: 2.2.6 -> 2.3.3" 
This reverts commit d03b755910.

This update did not make sense as the package changed name, and this
resulted in a broken vscoq-language-server package, providing no
binaries.
 2026-01-14 11:15:59 +01:00
Ihar Hrachyshka c539fa85e3 treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs 
Partial #208242
 2026-01-06 20:47:21 -05:00
Vincent Laporte eec6d815c9 ocamlPackages.yojson: 2.2.2 → 3.0.0 
ocamlPackages.atdgen-codec-runtime: 2.16.0 → 3.0.1
 2025-12-12 06:35:52 +01:00
Ihar Hrachyshka 567e8dfd8e treewide: clean up 'meta = with' pattern 
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
 2025-12-10 18:09:49 +01:00
jstrattonsmith d03b755910 coqPackages.vscoq-language-server: 2.2.6 -> 2.3.3 
To be compatible with VSRocq release.
 2025-11-16 16:09:01 -05:00
Wolfgang Walther 91a8fee3aa treewide: remove redundant parentheses 
Auto-fixed by nixf-diagnose.
 2025-10-05 10:52:03 +02:00
Wolfgang Walther 5a0711127c treewide: run nixfmt 1.0.0 2025-07-24 13:55:40 +02:00
Pierre Roux c8723acd6a coqPackages.*: more 9.0 -> 9.1 2025-07-09 15:02:00 +02:00
Théo Zimmermann cdd4fbac3d coqPackages.vscoq-language-server: 2.2.5 -> 2.2.6 
To be compatible with the update of the extension in #410879.
 2025-06-02 08:54:52 +02:00
JeanCASPAR 6b31da915b coqPackages.vscoq-language-server: 2.2.1 -> 2.2.5 
https://github.com/coq-community/vscoq/releases
Support rocq 9.0
 2025-05-09 12:50:58 +02:00
Silvan Mosberger 374e6bcc40 treewide: Format all Nix files 
Format all Nix files using the officially approved formatter,
making the CI check introduced in the previous commit succeed:

  nix-build ci -A fmt.check

This is the next step of the of the [implementation](https://github.com/NixOS/nixfmt/issues/153)
of the accepted [RFC 166](https://github.com/NixOS/rfcs/pull/166).

This commit will lead to merge conflicts for a number of PRs,
up to an estimated ~1100 (~33%) among the PRs with activity in the past 2
months, but that should be lower than what it would be without the previous
[partial treewide format](https://github.com/NixOS/nixpkgs/pull/322537).

Merge conflicts caused by this commit can now automatically be resolved while rebasing using the
[auto-rebase script](https://github.com/NixOS/nixpkgs/tree/8616af08d915377bd930395f3b700a0e93d08728/maintainers/scripts/auto-rebase).

If you run into any problems regarding any of this, please reach out to the
[formatting team](https://nixos.org/community/teams/formatting/) by
pinging @NixOS/nix-formatting.
 2025-04-01 20:10:43 +02:00
Cyril Cohen f52a17ea14 coqPackages.vscoq-language-server: 2.1.7 -> 2.2.1 2024-10-21 18:56:17 +02:00
Élise 7026cdf28c coqPackages.vscoq-language-server: 2.1.4 → 2.1.7 
Updates vscoq from 2.1.4 to 2.1.7. This does not introduce a new Coq
version range.
 2024-09-18 17:25:13 +02:00
Sigmanificient 63d05d989e pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
Cyril Cohen 8b7d5e1d6d coqPackages.vscoq-language-server: 2.1.2 -> 2.1.4 2024-07-17 13:51:24 +02:00
Jan Tojnar 5c5c20919b adwaita-icon-theme: Move from gnome scope to top-level 
It is widely used outside gnome – although it probably should not be.
 2024-07-01 08:26:46 +02:00
Jan Tojnar eb04659fc2 treewide: wrapGAppsHook → wrapGAppsHook3 
This was achieved using the following command:

    sd 'wrapGAppsHook\b' wrapGAppsHook3 (rg -l 'wrapGAppsHook\b')

And then manually reverted the following changes:

- alias in top-level.nix
- function name in wrap-gapps-hook.sh
- comment in postFixup of at-spi2-core
- comment in gtk4
- comment in preFixup of 1password-gui/linux.nix
- comment in postFixup of qgis/unwrapped-ltr.nix and qgis/unwrapped.nix
- comment in postFixup of telegram-desktop
- comment in postFixup of fwupd
- buildCommand of mongodb-compass
- postFixup of xflux-gui
- comment in a patch in kdePackages.kde-gtk-config and plasma5Packages.kde-gtk-config
- description of programs.sway.wrapperFeatures.gtk NixOS option (manual rebuild)
 2024-04-27 02:23:22 +02:00
Vincent Laporte 2f8b02e883 coqPackages.vscoq-language-server: 2.0.3 → 2.1.2 2024-04-08 20:48:40 +02:00
Cyril Cohen 4116f0379e coqPackages.vscoq-language-server: init at 2.0.3 (#256515) 2024-02-01 10:10:43 +01:00