diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-07-12 13:20:48 +0200 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-07-12 13:27:54 +0200 |
commit | f4c787476a1a906730f931976faba57d051b7b8e (patch) | |
tree | 4b9821415c0bc0ee8fccf08f9659bbe92bad8c0a | |
parent | 77d24248c0739f1900b5ca2fe1791586f8bc53b6 (diff) | |
download | itzks-systems-f4c787476a1a906730f931976faba57d051b7b8e.tar.gz itzks-systems-f4c787476a1a906730f931976faba57d051b7b8e.tar.bz2 itzks-systems-f4c787476a1a906730f931976faba57d051b7b8e.zip |
debian/control: Accept gtick instead of gnome-metronome for now.gnome-metronome didn't make it into Debian 12.
-rw-r--r-- | debian/control | 6 |
1 files 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, |