../ rascal-tutor-0.8.4.jar 09-Feb-2023 18:02 475K rascal-tutor-0.8.4.jar.md5 09-Feb-2023 18:02 32 rascal-tutor-0.8.4.jar.sha1 09-Feb-2023 18:02 40 rascal-tutor-0.8.4.pom 09-Feb-2023 18:02 6654 rascal-tutor-0.8.4.pom.md5 09-Feb-2023 18:02 32 rascal-tutor-0.8.4.pom.sha1 09-Feb-2023 18:02 40