Benign go Download

github.com/hargoniX/lean4-mode v0.0.0-20221211163317-b4cd9dcfb412

JSON-like quoted sub field assignmentGitHub source path has uppercase namespace
SHA-2560e7131a3e76587f021e6a278eeec75e7ee5ef8bcc1656ee376973c66861c8198

Evidence

Keyboard shortcuts on this page: j for the next sample, k for the previous one, x to go back to the feed, d to download the original bytes, r to re-queue the sample for analysis.