../ rascal-tutor-0.7.5.jar 23-Jan-2023 09:43 494K rascal-tutor-0.7.5.jar.md5 23-Jan-2023 09:43 32 rascal-tutor-0.7.5.jar.sha1 23-Jan-2023 09:43 40 rascal-tutor-0.7.5.pom 23-Jan-2023 09:43 6534 rascal-tutor-0.7.5.pom.md5 23-Jan-2023 09:43 32 rascal-tutor-0.7.5.pom.sha1 23-Jan-2023 09:43 40