From a1548cb10c28beaf9993d8c72e77e2d61f5c788f Mon Sep 17 00:00:00 2001
From: Michael Peyton Jones <michael.peyton.jones@circuithub.com>
Date: Thu, 13 Mar 2025 10:19:04 +0000
Subject: [PATCH] Set the version of webkitgtk explicitly

Newer versions of nixpkgs issue a warning if you don't do that.
---
 lib/pkgconf-nixpkgs-map.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/pkgconf-nixpkgs-map.nix b/lib/pkgconf-nixpkgs-map.nix
index ce835d44ad..dd0cd475f9 100644
--- a/lib/pkgconf-nixpkgs-map.nix
+++ b/lib/pkgconf-nixpkgs-map.nix
@@ -83,7 +83,7 @@ pkgs:
     "stdc++.dll"                         = []; # What is that?
     "systemd-journal"                    = [ "systemd" ];
     "tag_c"                              = [ "taglib" ];
-    "webkit2gtk"                         = [ "webkitgtk" ];
+    "webkit2gtk"                         = [ "webkitgtk_4_0" ]; # This is somewhat arbitary
     "xml2"                               = [ "libxml2" ];
     "yaml"                               = [ "libyaml" ];
     "z"                                  = [ "zlib" ];
@@ -5427,9 +5427,9 @@ pkgs:
     "wayland-server++" = [ "waylandpp" ];
     "wcslib" = [ "wcslib" ];
     "webkit2-sharp-4.0" = [ "webkit2-sharp" ];
-    "javascriptcoregtk-4.0" = [ "webkitgtk" ];
-    "webkit2gtk-4.0" = [ "webkitgtk" ];
-    "webkit2gtk-web-extension-4.0" = [ "webkitgtk" ];
+    "javascriptcoregtk-4.0" = [ "webkitgtk_4_0" ];
+    "webkit2gtk-4.0" = [ "webkitgtk_4_0" ];
+    "webkit2gtk-web-extension-4.0" = [ "webkitgtk_4_0" ];
     "javascriptcoregtk-4.1" = [ "webkitgtk_4_1" ];
     "webkit2gtk-4.1" = [ "webkitgtk_4_1" ];
     "webkit2gtk-web-extension-4.1" = [ "webkitgtk_4_1" ];