Matches in Secure Chain KG for { <https://pypi.org/project/acl2-kernel/0.2.8/> ?p ?o ?g. }
Showing items 1 to 9 of
9
with 100 items per page.
- 0.2.8 license Apache-2.0.html @default.
- 0.2.8 url "https://github.com/tani/acl2-kernel" @default.
- 0.2.8 type SoftwareVersion @default.
- 0.2.8 dependsOn 5.5.6 @default.
- 0.2.8 dependsOn 7.34.0 @default.
- 0.2.8 dependsOn 6.2.0 @default.
- 0.2.8 dependsOn 4.9.0 @default.
- 0.2.8 dependsOn 2021.11.10 @default.
- 0.2.8 versionName "0.2.8" @default.