../ rascal-tutor-0.3.1.jar 26-Oct-2022 12:16 104K rascal-tutor-0.3.1.jar.md5 26-Oct-2022 12:16 32 rascal-tutor-0.3.1.jar.sha1 26-Oct-2022 12:16 40 rascal-tutor-0.3.1.pom 26-Oct-2022 12:17 5176 rascal-tutor-0.3.1.pom.md5 26-Oct-2022 12:17 32 rascal-tutor-0.3.1.pom.sha1 26-Oct-2022 12:17 40