{"spdxVersion":"SPDX-2.3","dataLicense":"CC0-1.0","SPDXID":"SPDXRef-DOCUMENT","name":"com.github.pirapira/eth-isabelle","documentNamespace":"https://spdx.org/spdxdocs/protobom/8bcabaab-3ac5-4503-ad74-76cf3e93677d","creationInfo":{"creators":["Tool: protobom-v0.0.0-20250328193005-4d835c61647f+dirty","Tool: GitHub.com-Dependency-Graph"],"created":"2025-03-30T00:02:24Z"},"packages":[{"name":"com.github.pirapira/eth-isabelle","SPDXID":"SPDXRef-github-pirapira-eth-isabelle-master-c1bc24","versionInfo":"master","downloadLocation":"git+https://github.com/pirapira/eth-isabelle","filesAnalyzed":false,"externalRefs":[{"referenceCategory":"PACKAGE-MANAGER","referenceType":"purl","referenceLocator":"pkg:github/pirapira/eth-isabelle@master"}]}],"relationships":[{"spdxElementId":"SPDXRef-DOCUMENT","relatedSpdxElement":"SPDXRef-github-pirapira-eth-isabelle-master-c1bc24","relationshipType":"DESCRIBES"}]}