leanify: 0-unstable-2025-12-12 -> 0.4.3-unstable-2025-12-12

(cherry picked from commit 9750fb9d19)
This commit is contained in:
R. Ryantm 2026-05-31 07:53:07 +00:00 committed by github-actions[bot]
commit b6e1ef4998

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";