Merge pull request #216806 from ulrikstrid/ulrikstrid--kitty-themes-2023-01-08

kitty-themes: 2022-08-11 -> 2023-01-08
This commit is contained in:
Nick Cao
2023-02-18 15:58:25 +08:00
committed by GitHub
+3 -3
View File
@@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "kitty-themes";
version = "unstable-2022-08-11";
version = "unstable-2023-01-08";
src = fetchFromGitHub {
owner = "kovidgoyal";
repo = pname;
rev = "72cf0dc4338ab1ad85f5ed93fdb13318916cae14";
sha256 = "d9mO2YqA7WD2dTPsmNeQg2dUR/iv2T/l7yxrt6WKX60=";
rev = "e0bb9d751033e82e455bf658744872c83f04b89d";
sha256 = "sha256-ol/AWScGsskoxOEW32aGkJFgg8V6pIujoYIMQaVskWM=";
};
installPhase = ''