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

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