Matches in Secure Chain KG for { <https://crates.io/crates/agda-tac/0.1.4/> ?p ?o ?g. }
Showing items 1 to 14 of
14
with 100 items per page.
- 0.1.4 license MIT.html @default.
- 0.1.4 url "https://github.com/ice1000/agda-mode" @default.
- 0.1.4 type SoftwareVersion @default.
- 0.1.4 dependsOn 0.1.8 @default.
- 0.1.4 dependsOn 2.34.0 @default.
- 0.1.4 dependsOn 2.0.2 @default.
- 0.1.4 dependsOn 1.15.0 @default.
- 0.1.4 dependsOn 0.2.4 @default.
- 0.1.4 dependsOn 1.6.1 @default.
- 0.1.4 dependsOn 5.0.6 @default.
- 0.1.4 dependsOn 1.0.140 @default.
- 0.1.4 dependsOn 0.3.26 @default.
- 0.1.4 dependsOn 0.2.25 @default.
- 0.1.4 versionName "0.1.4" @default.