| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tweety-full-1.17.jar | Tue Jul 14 11:13:08 UTC 2020 | 1792 | |
| tweety-full-1.17.jar.sha1 | Tue Jul 14 11:13:08 UTC 2020 | 40 | |
| tweety-full-1.17.pom | Tue Jul 14 11:13:09 UTC 2020 | 6153 | |
| tweety-full-1.17.pom.sha1 | Tue Jul 14 11:13:09 UTC 2020 | 40 |