github.com/leanprover/lean4export v4.27.0-rc1.0.20260123231542-06aa52f76643+incompatible

ZIP

BENIGN

Mal-ecule

Size 22.2 KB download

First seen 39 days ago

Analyzed 39 days ago

Package pkg:golang/github.com/leanprover/[email protected]+incompatible

Ecosystem go

Source proxy.golang.org

Loading file contents…

Loading traits…

SHA-256	3ff5d62b10c125dc1a8f5de3375cb00a1f3b53a4e561f6568adf18a8907c2616
Canonical SHA-256	39dc12eb359375d8c018e7f608f2d3c88a9580057d3b14f5c9f892795bb0870e
Filename	github.com-leanprover-lean4export-v4.27.0-rc1.0.20260123231542-06aa52f76643+incompatible.zip
Package	github.com/leanprover/lean4export
Version	v4.27.0-rc1.0.20260123231542-06aa52f76643+incompatible
PURL	pkg:golang/github.com/leanprover/[email protected]+incompatible

Source	forager
Feed	pkg.go.dev
Ecosystem	go
Domain	golang.org
URL	https://proxy.golang.org/github.com/leanprover/lean4export/@v/v4.27.0-rc1.0.20260123231542-06aa52f76643+incompatible.zip

Not seeing what you expected? Let us know