fix: ipv4 address encoding from libuv to lean#10854

algebraic-dev merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom

algebraic-dev:sofia/fix-dnsalgebraic-dev/lean4:sofia/fix-dnsCopy head branch name to clipboard