fix: alter proofbuddy to follow upstream !13 (!1) · Merge requests · Nix / proveit.nix

SSH over IPv6 may not work due to networking issues at the moment. Please use IPv4. DNS records are being updated to avoid IPv6 resolution for git(lab).cobalt.rocks.

This is an archived project. Repository and other project resources are read-only.