github.com/leanprover/lean4export v4.27.0-rc1.0.20260116180040-f54fd097d1c9+incompatible

ZIP

BENIGN

Mal-ecule

Size 22.0 KB download

First seen 39 days ago

Analyzed 36 days ago

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

Ecosystem go

Source proxy.golang.org

Loading file contents…

Loading traits…

SHA-256	b902ff749cb684c1ab0b677db36c99ebc0b0e1e56bab9dff625f87d5ca3c4be9
Canonical SHA-256	39dc12eb359375d8c018e7f608f2d3c88a9580057d3b14f5c9f892795bb0870e
Filename	github.com-leanprover-lean4export-v4.27.0-rc1.0.20260116180040-f54fd097d1c9+incompatible.zip
Package	github.com/leanprover/lean4export
Version	v4.27.0-rc1.0.20260116180040-f54fd097d1c9+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.20260116180040-f54fd097d1c9+incompatible.zip

Not seeing what you expected? Let us know