-
Notifications
You must be signed in to change notification settings - Fork 257
Insights: dafny-lang/dafny
Dependency graph
232 Total
- Detected automatically on Oct 13, 2022 (NuGet) · Source/AutoExtern/AutoExtern.csproj · MIT
- Detected automatically on Oct 13, 2022 (NuGet) · Source/AutoExtern/AutoExtern.csproj · MIT
- System.CommandLine 2.0.0-beta4.22272.1
- coverlet.collector 3.2.0
- Microsoft.NET.Test.Sdk 16.11.0
- xunit 2.4.2
- Detected automatically on Mar 10, 2023 (NuGet) · Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj · MIT
- actions/checkout 4.*.*
- actions/setup-dotnet 4.*.*
- actions/setup-java 4.*.*
- Detected automatically on Jul 05, 2024 (GitHub Actions) · .github/workflows/release-downloads-nuget.yml
- actions/checkout 4.*.*
- actions/setup-dotnet 4.*.*
- actions/setup-java 4.*.*
- actions/setup-node 4.*.*
- actions/setup-python 5.*.*
- actions/upload-artifact 4.*.*
- Detected automatically on Jun 06, 2024 (GitHub Actions) · .github/workflows/publish-release-reusable.yml
- wtfjoke/setup-tectonic 3.*.*
- CommandLineParser 2.9.1