../ rascal-tutor-0.4.7.jar 12-Dec-2022 15:55 107K rascal-tutor-0.4.7.jar.md5 12-Dec-2022 15:55 32 rascal-tutor-0.4.7.jar.sha1 12-Dec-2022 15:55 40 rascal-tutor-0.4.7.pom 12-Dec-2022 15:55 5177 rascal-tutor-0.4.7.pom.md5 12-Dec-2022 15:55 32 rascal-tutor-0.4.7.pom.sha1 12-Dec-2022 15:55 40