Dependencies · coq/opam · GitHub

Dependency graph

4 Total

actions/checkout 4.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 22, 2024
Paths for actions/checkout 4.*.*
Paths for actions/checkout 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/deploy-pages 2.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 22, 2024
Paths for actions/deploy-pages 2.*.*
Paths for actions/deploy-pages 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/upload-pages-artifact 2.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 22, 2024
Paths for actions/upload-pages-artifact 2.*.*
Paths for actions/upload-pages-artifact 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
avsm/setup-ocaml 3.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 22, 2024
Paths for avsm/setup-ocaml 3.*.*
Paths for avsm/setup-ocaml 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive