../ rascal-tutor-0.7.4.jar 22-Jan-2023 17:54 495K rascal-tutor-0.7.4.jar.md5 22-Jan-2023 17:54 32 rascal-tutor-0.7.4.jar.sha1 22-Jan-2023 17:54 40 rascal-tutor-0.7.4.pom 22-Jan-2023 17:54 6532 rascal-tutor-0.7.4.pom.md5 22-Jan-2023 17:54 32 rascal-tutor-0.7.4.pom.sha1 22-Jan-2023 17:54 40