mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-07-06 17:13:24 -05:00
leanify: 0-unstable-2025-12-12 -> 0.4.3-unstable-2025-12-12
This commit is contained in:
parent
78058c8132
commit
9750fb9d19
1 changed files with 1 additions and 1 deletions
|
|
@ -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";
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue