Matches in Secure Chain KG for { <https://crates.io/crates/prusti-specs/0.1.0/> ?p ?o ?g. }
Showing items 1 to 12 of
12
with 100 items per page.
- 0.1.0 license MPL-2.0.html @default.
- 0.1.0 url "https://github.com/viperproject/prusti-dev/tree/master/prusti-contracts/prusti-specs" @default.
- 0.1.0 url "https://www.pm.inf.ethz.ch/research/prusti.html" @default.
- 0.1.0 type SoftwareVersion @default.
- 0.1.0 dependsOn 0.10.5 @default.
- 0.1.0 dependsOn 1.0.95 @default.
- 0.1.0 dependsOn 1.0.40 @default.
- 0.1.0 dependsOn 1.0.210 @default.
- 0.1.0 dependsOn 1.0.140 @default.
- 0.1.0 dependsOn 1.0.109 @default.
- 0.1.0 dependsOn 1.6.1 @default.
- 0.1.0 versionName "0.1.0" @default.