../ rascal-tutor-0.7.2.jar 17-Jan-2023 16:13 113K rascal-tutor-0.7.2.jar.md5 17-Jan-2023 16:13 32 rascal-tutor-0.7.2.jar.sha1 17-Jan-2023 16:13 40 rascal-tutor-0.7.2.pom 17-Jan-2023 16:13 5177 rascal-tutor-0.7.2.pom.md5 17-Jan-2023 16:13 32 rascal-tutor-0.7.2.pom.sha1 17-Jan-2023 16:13 40