../ rascal-tutor-0.8.0.jar 24-Jan-2023 11:41 468K rascal-tutor-0.8.0.jar.md5 24-Jan-2023 11:41 32 rascal-tutor-0.8.0.jar.sha1 24-Jan-2023 11:41 40 rascal-tutor-0.8.0.pom 24-Jan-2023 11:41 6634 rascal-tutor-0.8.0.pom.md5 24-Jan-2023 11:41 32 rascal-tutor-0.8.0.pom.sha1 24-Jan-2023 11:41 40