Name Last modified Size
../ tweety-full-1.17.jar 14-Jul-2020 13:13 1.75 KB tweety-full-1.17.jar.md5 14-Jul-2020 13:13 32 bytes tweety-full-1.17.jar.sha1 14-Jul-2020 13:13 40 bytes tweety-full-1.17.pom 14-Jul-2020 13:13 6.01 KB tweety-full-1.17.pom.md5 14-Jul-2020 13:13 32 bytes tweety-full-1.17.pom.sha1 14-Jul-2020 13:13 40 bytes