-
Notifications
You must be signed in to change notification settings - Fork 256
Insights: dafny-lang/dafny
Dependency graph
232 Total
- actions/checkout 4.*.*
- actions/setup-dotnet 4.*.*
- actions/checkout 4.*.*
- actions/setup-go 5.*.*
- actions/setup-java 4.*.*
- actions/checkout 4.*.*
- actions/setup-dotnet 4.*.*
- actions/upload-artifact 4.*.*
- coverlet.collector 3.2.0
- Microsoft.NET.Test.Sdk 17.1.0
- xunit 2.4.1
- Detected automatically on Apr 29, 2023 (NuGet) · Source/DafnyCore.Test/DafnyCore.Test.csproj · MIT
- as-any 0.3.1
- autocfg 1.1.0
- either 1.9.0
- itertools 0.11.0
- num 0.4.1
- num-bigint 0.4.3
- num-complex 0.4.4
- num-integer 0.1.45