Dependencies · thery/coqprime · GitHub

Dependency graph

2 Total

actions/checkout 4

GitHub Actions · .github/workflows/build.yml · Detected automatically on Sep 11, 2023
Paths for actions/checkout 4
Paths for actions/checkout 4
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
coq-community/docker-coq-action 1

GitHub Actions · .github/workflows/build.yml · Detected automatically on Sep 11, 2023
Paths for coq-community/docker-coq-action 1
Paths for coq-community/docker-coq-action 1
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

ProTip! Supported ecosystems will have transitivity labels on their packages.