krep: 0.4.2 -> 1.1.2 (#400876)

This commit is contained in:
Weijia Wang 2025-05-18 13:43:40 +02:00 committed by GitHub
commit 020048bb74
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -7,13 +7,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "krep";
version = "0.4.2";
version = "1.1.2";
src = fetchFromGitHub {
owner = "davidesantangelo";
repo = "krep";
rev = "v${finalAttrs.version}";
hash = "sha256-lg1nwBV/lfPVoMWmVh4iFElr5Qv+YA5HRKZOS3jd+6U=";
hash = "sha256-mZ5ki1f0q4k3imxeF9qbn8ZU/at+NNBhroau/5Z4WU4=";
};
makeFlags = [