feat: updated kile

main
Ricard Illa 2023-07-13 21:46:22 +02:00
parent 87bbdd7267
commit 74a20a778d
No known key found for this signature in database
GPG Key ID: F69A672B72E54902
1 changed files with 2 additions and 3 deletions

View File

@ -25,9 +25,8 @@
src = super.fetchFromGitLab { src = super.fetchFromGitLab {
owner = "snakedye"; owner = "snakedye";
repo = "kile"; repo = "kile";
rev = "bf99161601c9fa481f21db1829e1f899a4464a25"; rev = "f66d94a97b0cf6f2b5440ae884794a04b59fc5a3";
sha256 = "sha256-yO9EDVYoijMihI3mAOs644oaG9Z399SjH+mJrVBNn+w="; sha256 = "sha256-6mHjrI+m8lmKk+gEV1AeutpZ8GK4iSak/FxbNeF+w9E=";
# sha256 = "sha256-aMMDAla+qCZb2s8D7LHaWphgkTfDbNuImr08TUYtBtY=";
}; };
cargoLock = { cargoLock = {