| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tweety-full-1.10-javadoc.jar | Tue Jan 16 12:15:55 UTC 2018 | 9951570 | |
| tweety-full-1.10-javadoc.jar.sha1 | Tue Jan 16 12:15:55 UTC 2018 | 40 | |
| tweety-full-1.10.jar | Tue Jan 16 12:17:51 UTC 2018 | 1744 | |
| tweety-full-1.10.jar.sha1 | Tue Jan 16 12:17:51 UTC 2018 | 40 | |
| tweety-full-1.10.pom | Tue Jan 16 12:17:51 UTC 2018 | 5750 | |
| tweety-full-1.10.pom.sha1 | Tue Jan 16 12:17:51 UTC 2018 | 40 |