| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tweety-full-1.13.jar | Mon Jul 15 12:06:07 UTC 2019 | 1746 | |
| tweety-full-1.13.jar.sha1 | Mon Jul 15 12:06:07 UTC 2019 | 40 | |
| tweety-full-1.13.pom | Mon Jul 15 12:06:08 UTC 2019 | 5737 | |
| tweety-full-1.13.pom.sha1 | Mon Jul 15 12:06:08 UTC 2019 | 40 |