Go modules · proxy.golang.org
github.com/hol-theorem-prover/hol
Remote Payload: matched "wget "
Why PkgRadar flagged v0.0.0-20260528072553-66d5b9872fa0
| Severity | Signal | Evidence |
|---|---|---|
| medium | Remote Payload | matched "wget " · github.com/hol-theorem-prover/[email protected]/developers/install-poly.sh |
Scanned versions
| Version | Verdict | Score | Scanned (UTC) |
|---|---|---|---|
v0.0.0-20260616073837-d29480997db7 | Low risk | 0 | 2026-06-17 |
v0.0.0-20260616063257-27adf041066f | Low risk | 0 | 2026-06-17 |
v0.0.0-20260612064003-7fcb3d3fd618 | Low risk | 0 | 2026-06-13 |
v0.0.0-20260612060331-2c6bc86c5887 | Low risk | 0 | 2026-06-13 |
v0.0.0-20260610052639-1db26bf08a25 | Low risk | 0 | 2026-06-11 |
v0.0.0-20260610001607-c468a541d7fc | Low risk | 0 | 2026-06-11 |
v0.0.0-20260609235935-a47378e6c4c7 | Low risk | 0 | 2026-06-11 |
v0.0.0-20260609233728-b205a8f47d0a | Low risk | 0 | 2026-06-10 |
v0.0.0-20260609232521-51250d2db965 | Low risk | 0 | 2026-06-10 |
v0.0.0-20260606222804-ab6450c497d9 | Low risk | 0 | 2026-06-08 |
v0.0.0-20260602122534-7d9aacfe5c51 | Low risk | 0 | 2026-06-03 |
v0.0.0-20260602040514-99ef4cda24a7 | Low risk | 0 | 2026-06-03 |
v0.0.0-20260602031218-baf0670b03a3 | Low risk | 0 | 2026-06-03 |
v0.0.0-20260601235805-d146e3c5d998 | Low risk | 0 | 2026-06-03 |
v0.0.0-20260601075420-70765b10d178 | Low risk | 0 | 2026-06-02 |
v0.0.0-20260531100416-f99c7813e77a | Low risk | 0 | 2026-06-01 |
v0.0.0-20260531084636-7b85beb4f924 | Low risk | 0 | 2026-06-01 |
v0.0.0-20260530124944-61f8870bfd3d | Low risk | 0 | 2026-05-31 |
v0.0.0-20260530051336-bf0dec986904 | Low risk | 0 | 2026-05-31 |
v0.0.0-20260530044318-846d9ac48bf9 | Low risk | 0 | 2026-05-31 |
v0.0.0-20260530043455-aae5fa26b560 | Low risk | 0 | 2026-05-31 |
v0.0.0-20260530033055-ea0bef7bfd80 | Low risk | 0 | 2026-05-31 |
v0.0.0-20260530024047-6910c960c74a | Low risk | 0 | 2026-05-31 |
v0.0.0-20260530010406-0ccd9ee10a01 | Low risk | 0 | 2026-05-31 |
v0.0.0-20260529223343-2caa2fefb1bb | Low risk | 0 | 2026-05-31 |
v0.0.0-20260529104940-ef3e80e67dbc | Low risk | 0 | 2026-05-30 |
v0.0.0-20260529004325-2fa87cb1da36 | Low risk | 0 | 2026-05-30 |
v0.0.0-20260528072553-66d5b9872fa0 | Review | 12 | 2026-05-29 |
Block this in CI
pkgradar gate --ecosystem go github.com/hol-theorem-prover/[email protected]