../ rascal-tutor-0.18.0-RC3.jar 01-Feb-2024 12:25 8M rascal-tutor-0.18.0-RC3.jar.md5 01-Feb-2024 12:25 32 rascal-tutor-0.18.0-RC3.jar.sha1 01-Feb-2024 12:25 40 rascal-tutor-0.18.0-RC3.pom 01-Feb-2024 12:25 7010 rascal-tutor-0.18.0-RC3.pom.md5 01-Feb-2024 12:25 32 rascal-tutor-0.18.0-RC3.pom.sha1 01-Feb-2024 12:25 40