diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 09:18:23 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 09:18:23 +0000 |
| commit | 7816ba926f029c0c900ef2d7e97265f88ebb5493 (patch) | |
| tree | dd73df3be64521e92dc7b2f6b779954229ae308b /debian | |
| parent | Merging debian version 20231210-2. (diff) | |
| download | gnome-shell-extensions-extra-7816ba926f029c0c900ef2d7e97265f88ebb5493.tar.xz gnome-shell-extensions-extra-7816ba926f029c0c900ef2d7e97265f88ebb5493.zip | |
Building for gnome-shell 43.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index f4b18db..f3692b0 100755 --- a/debian/rules +++ b/debian/rules @@ -1,9 +1,9 @@ #!/usr/bin/make -f -EXTENSIONS_VERSION = 45 +EXTENSIONS_VERSION = 44 -GNOME_SHELL_DEPENDS_LOW = 45 -GNOME_SHELL_DEPENDS_HIGH = 46 +GNOME_SHELL_DEPENDS_LOW = 43 +GNOME_SHELL_DEPENDS_HIGH = 45 %: dh ${@} --no-parallel |