../ rascal-tutor-0.6.1.jar 28-Dec-2022 17:01 111K rascal-tutor-0.6.1.jar.md5 28-Dec-2022 17:01 32 rascal-tutor-0.6.1.jar.sha1 28-Dec-2022 17:01 40 rascal-tutor-0.6.1.pom 28-Dec-2022 17:01 5177 rascal-tutor-0.6.1.pom.md5 28-Dec-2022 17:01 32 rascal-tutor-0.6.1.pom.sha1 28-Dec-2022 17:01 40