GroupId | GroupIdit.unibo.tuprolog |
---|---|
ArtifactId | ArtifactIdtheory |
Version | Version0.17.4-dev1d+a1160f82 |
Type | Typepom.sha512 |
Filename | Size |
---|---|
theory-0.17.4-dev1d+a1160f82.pom | |
theory-0.17.4-dev1d+a1160f82-sources.jar | 108 KB |
Browse |