../ rascal-tutor-0.4.2.jar 02-Dec-2022 15:21 105K rascal-tutor-0.4.2.jar.md5 02-Dec-2022 15:21 32 rascal-tutor-0.4.2.jar.sha1 02-Dec-2022 15:21 40 rascal-tutor-0.4.2.pom 02-Dec-2022 15:21 5177 rascal-tutor-0.4.2.pom.md5 02-Dec-2022 15:21 32 rascal-tutor-0.4.2.pom.sha1 02-Dec-2022 15:21 40