-
Notifications
You must be signed in to change notification settings - Fork 254
Insights: dafny-lang/dafny
Dependency graph
231 Total
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · MIT
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · MITNewtonsoft.Json 13.0.1
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · OTHERSystem.Collections 4.3.0
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · OTHERSystem.Diagnostics.Debug 4.3.0
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · OTHER
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · OTHERSystem.Runtime.Handles 4.3.0
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · OTHER
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · MIT
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · OTHER
- Detected automatically on Feb 13, 2024 (NuGet) · Source/DafnyDriver/DafnyDriver.csproj · OTHERSystem.Threading 4.3.0
- Detected automatically on May 08, 2024 (NuGet) · Source/DafnyRuntime/DafnyRuntime.csproj · MIT
- Detected automatically on May 08, 2024 (NuGet) · Source/DafnyRuntime/DafnyRuntime.csproj · OTHERSystem.Runtime.Numerics 4.3.0
- Detected automatically on Apr 01, 2020 (NuGet) · Source/DafnyRuntime/packages.config · MIT
- Detected automatically on Apr 01, 2020 (NuGet) · Source/DafnyRuntime/packages.config · OTHERSystem.Runtime 4.3.1
- Detected automatically on Jan 10, 2024 (RubyGems) · docs/Gemfilejekyll ~> 4.3.3
- Detected automatically on Jan 10, 2024 (RubyGems) · docs/Gemfile
- Detected automatically on Jan 10, 2024 (RubyGems) · docs/Gemfilekramdown >= 2.3.1
- Detected automatically on Jan 10, 2024 (RubyGems) · docs/Gemfileminima ~> 2.5
- Detected automatically on Jan 10, 2024 (RubyGems) · docs/Gemfiletzinfo ~> 2.0