| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tweety-full-1.9-javadoc.jar | Thu Jul 13 10:24:53 UTC 2017 | 9771108 | |
| tweety-full-1.9-javadoc.jar.sha1 | Thu Jul 13 10:24:53 UTC 2017 | 40 | |
| tweety-full-1.9.jar | Thu Jul 13 10:24:43 UTC 2017 | 1734 | |
| tweety-full-1.9.jar.sha1 | Thu Jul 13 10:24:43 UTC 2017 | 40 | |
| tweety-full-1.9.pom | Thu Jul 13 10:24:43 UTC 2017 | 5560 | |
| tweety-full-1.9.pom.sha1 | Thu Jul 13 10:24:43 UTC 2017 | 40 |