7 Commits

Author	SHA1	Message	Date
É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