leanify: 0-unstable-2025-12-12 -> 0.4.3-unstable-2025-12-12 (#526237)

This commit is contained in:
nixpkgs-ci[bot]
2026-06-02 13:42:25 +00:00
committed by GitHub
+1 -1
View File
@@ -8,7 +8,7 @@
stdenv.mkDerivation {
pname = "leanify";
version = "0-unstable-2025-12-12";
version = "0.4.3-unstable-2025-12-12";
src = fetchFromGitHub {
owner = "JayXon";