Matches in Secure Chain KG for { <https://crates.io/crates/agda-mode/0.1.6/> ?p ?o ?g. }
Showing items 1 to 8 of
8
with 100 items per page.
- 0.1.6 license Apache-2.0.html @default.
- 0.1.6 url "https://github.com/ice1000/agda-mode" @default.
- 0.1.6 type SoftwareVersion @default.
- 0.1.6 dependsOn 1.15.0 @default.
- 0.1.6 dependsOn 1.0.210 @default.
- 0.1.6 dependsOn 1.0.140 @default.
- 0.1.6 dependsOn 0.2.0-alpha.6 @default.
- 0.1.6 versionName "0.1.6" @default.