Dependencies · smithy-lang/smithy-dafny

Dependency graph

664 Total

actions/checkout 3

GitHub Actions · .github/workflows/smithy-dotnet.yml · Detected automatically on May 12, 2022
Paths for actions/checkout 3
Paths for actions/checkout 3
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-java 3

GitHub Actions · .github/workflows/smithy-dotnet.yml · Detected automatically on May 12, 2022
Paths for actions/setup-java 3
Paths for actions/setup-java 3
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
gradle/gradle-build-action 2

GitHub Actions · .github/workflows/smithy-dotnet.yml · Detected automatically on May 12, 2022
Paths for gradle/gradle-build-action 2
Paths for gradle/gradle-build-action 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 3.*.*

GitHub Actions · .github/workflows/smithy-polymorph.yml · Detected automatically on Mar 04, 2025
Paths for actions/checkout 3.*.*
Paths for actions/checkout 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-java 3.*.*

GitHub Actions · .github/workflows/smithy-polymorph.yml · Detected automatically on Mar 04, 2025
Paths for actions/setup-java 3.*.*
Paths for actions/setup-java 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dafny-lang/setup-dafny-action 1.7.0

GitHub Actions · .github/workflows/smithy-polymorph.yml · Detected automatically on Mar 04, 2025
Paths for dafny-lang/setup-dafny-action 1.7.0
Paths for dafny-lang/setup-dafny-action 1.7.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
gradle/gradle-build-action 2.*.*

GitHub Actions · .github/workflows/smithy-polymorph.yml · Detected automatically on Mar 04, 2025
Paths for gradle/gradle-build-action 2.*.*
Paths for gradle/gradle-build-action 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 2.*.*

GitHub Actions · .github/workflows/test_models_dafny_verification.yml · Detected automatically on Jan 16, 2025
Paths for actions/checkout 2.*.*
Paths for actions/checkout 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-java 3.*.*

GitHub Actions · .github/workflows/test_models_dafny_verification.yml · Detected automatically on Jan 16, 2025
Paths for actions/setup-java 3.*.*
Paths for actions/setup-java 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dafny-lang/setup-dafny-action 1.7.0

GitHub Actions · .github/workflows/test_models_dafny_verification.yml · Detected automatically on Jan 16, 2025
Paths for dafny-lang/setup-dafny-action 1.7.0
Paths for dafny-lang/setup-dafny-action 1.7.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
gradle/gradle-build-action 2.*.*

GitHub Actions · .github/workflows/test_models_dafny_verification.yml · Detected automatically on Jan 16, 2025
Paths for gradle/gradle-build-action 2.*.*
Paths for gradle/gradle-build-action 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 3.*.*

GitHub Actions · .github/workflows/test_models_net_tests.yml · Detected automatically on Jan 16, 2025
Paths for actions/checkout 3.*.*
Paths for actions/checkout 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-dotnet 3.*.*

GitHub Actions · .github/workflows/test_models_net_tests.yml · Detected automatically on Jan 16, 2025
Paths for actions/setup-dotnet 3.*.*
Paths for actions/setup-dotnet 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-java 3.*.*

GitHub Actions · .github/workflows/test_models_net_tests.yml · Detected automatically on Jan 16, 2025
Paths for actions/setup-java 3.*.*
Paths for actions/setup-java 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aws-actions/configure-aws-credentials 1.*.*

GitHub Actions · .github/workflows/test_models_net_tests.yml · Detected automatically on Jan 16, 2025
Paths for aws-actions/configure-aws-credentials 1.*.*
Paths for aws-actions/configure-aws-credentials 1.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dafny-lang/setup-dafny-action 1.7.0

GitHub Actions · .github/workflows/test_models_net_tests.yml · Detected automatically on Jan 16, 2025
Paths for dafny-lang/setup-dafny-action 1.7.0
Paths for dafny-lang/setup-dafny-action 1.7.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
gradle/gradle-build-action 2.*.*

GitHub Actions · .github/workflows/test_models_net_tests.yml · Detected automatically on Jan 16, 2025
Paths for gradle/gradle-build-action 2.*.*
Paths for gradle/gradle-build-action 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
System.Collections.Immutable 1.7.0

NuGet · TestModels/dafny-dependencies/StandardLibrary/runtimes/net/tests/Test-STD.csproj · Detected automatically on Jun 07, 2023 · MIT
Paths for System.Collections.Immutable 1.7.0
Paths for System.Collections.Immutable 1.7.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
System.ValueTuple 4.5.0

NuGet · TestModels/dafny-dependencies/StandardLibrary/runtimes/net/tests/Test-STD.csproj · Detected automatically on Jun 07, 2023 · MIT
Paths for System.ValueTuple 4.5.0
Paths for System.ValueTuple 4.5.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
DafnyRuntime 4.0.0.50303

NuGet · TestModels/dafny-dependencies/StandardLibrary/runtimes/net/STD.csproj · Detected automatically on Jun 07, 2023 · MIT
Paths for DafnyRuntime 4.0.0.50303
Paths for DafnyRuntime 4.0.0.50303
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Dependency graph

Filter by ecosystem

Sorry, something went wrong.

No ecosystems found.

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Insights: smithy-lang/smithy-dafny

Dependency graph