../ rascal-tutor-0.8.2.jar 31-Jan-2023 14:14 475K rascal-tutor-0.8.2.jar.md5 31-Jan-2023 14:14 32 rascal-tutor-0.8.2.jar.sha1 31-Jan-2023 14:14 40 rascal-tutor-0.8.2.pom 31-Jan-2023 14:14 6654 rascal-tutor-0.8.2.pom.md5 31-Jan-2023 14:14 32 rascal-tutor-0.8.2.pom.sha1 31-Jan-2023 14:14 40