| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tweety-full-1.12-javadoc.jar | Wed Jan 23 09:01:01 UTC 2019 | 10365996 | |
| tweety-full-1.12-javadoc.jar.sha1 | Wed Jan 23 09:01:01 UTC 2019 | 40 | |
| tweety-full-1.12.jar | Wed Jan 23 09:01:24 UTC 2019 | 1740 | |
| tweety-full-1.12.jar.sha1 | Wed Jan 23 09:01:24 UTC 2019 | 40 | |
| tweety-full-1.12.pom | Wed Jan 23 09:01:25 UTC 2019 | 5600 | |
| tweety-full-1.12.pom.sha1 | Wed Jan 23 09:01:25 UTC 2019 | 40 |