From f4c787476a1a906730f931976faba57d051b7b8e Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Wed, 12 Jul 2023 13:20:48 +0200 Subject: debian/control: Accept gtick instead of gnome-metronome for now.gnome-metronome didn't make it into Debian 12. --- debian/control | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debian/control b/debian/control index 2ef3a6b..6425d62 100644 --- a/debian/control +++ b/debian/control @@ -204,7 +204,7 @@ Depends: geogebra | geogebra5 | geogebra44, git, gnome-colors-common, - gnome-metronome, + gnome-metronome | gtick, grdesktop, gstreamer1.0-libav, gstreamer1.0-plugins-bad, @@ -928,7 +928,7 @@ Depends: geogebra | geogebra5 | geogebra44, git, gnome-colors-common, - gnome-metronome, + gnome-metronome | gtick, grdesktop, gv, htop, @@ -1273,7 +1273,7 @@ Depends: geogebra | geogebra5 | geogebra44, git, gnome-colors-common, - gnome-metronome, + gnome-metronome | gtick, grdesktop, gstreamer1.0-libav, gstreamer1.0-plugins-bad, -- cgit v1.2.3