github.com/leanprover/lean4export v4.27.0-rc1.0.20260123232843-56030cafea85+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	833a849739c613087c1aef37a3a0e3a6f51bb466423e7c62e56943e035c3b1ec
Canonical SHA-256	39dc12eb359375d8c018e7f608f2d3c88a9580057d3b14f5c9f892795bb0870e
Filename	github.com-leanprover-lean4export-v4.27.0-rc1.0.20260123232843-56030cafea85+incompatible.zip
Package	github.com/leanprover/lean4export
Version	v4.27.0-rc1.0.20260123232843-56030cafea85+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.20260123232843-56030cafea85+incompatible.zip

Not seeing what you expected? Let us know