-
Notifications
You must be signed in to change notification settings - Fork 254
Insights: dafny-lang/dafny
Dependency graph
231 Total
- liquid 4.0.4
- listen 3.8.0
- mercenary 0.4.0
- minima 2.5.1
- pathutil 0.16.2
- public_suffix 5.0.4
- rb-fsevent 0.11.2
- rb-inotify 0.10.1
- rexml 3.2.8
- rouge 4.2.0
- safe_yaml 1.0.5
- sass-embedded 1.69.7
- sass-embedded 1.69.7-x86_64-linux-gnu
- strscan 3.1.0
- terminal-table 3.0.2
- unicode-display_width 2.5.0
- webrick 1.8.1
- coverlet.collector 3.2.0
- DiffPlex 1.7.0
- Detected automatically on May 23, 2024 (NuGet) · Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj · MIT