../ rascal-maven-plugin-0.12.2.jar 12-Dec-2022 16:03 40K rascal-maven-plugin-0.12.2.jar.md5 12-Dec-2022 16:03 32 rascal-maven-plugin-0.12.2.jar.sha1 12-Dec-2022 16:03 40 rascal-maven-plugin-0.12.2.pom 12-Dec-2022 16:03 7257 rascal-maven-plugin-0.12.2.pom.md5 12-Dec-2022 16:03 32 rascal-maven-plugin-0.12.2.pom.sha1 12-Dec-2022 16:03 40