../ rascal-maven-plugin-0.2.12.jar 11-Mar-2020 11:48 21K rascal-maven-plugin-0.2.12.jar.md5 11-Mar-2020 11:48 32 rascal-maven-plugin-0.2.12.jar.sha1 11-Mar-2020 11:48 40 rascal-maven-plugin-0.2.12.pom 11-Mar-2020 11:48 6423 rascal-maven-plugin-0.2.12.pom.md5 11-Mar-2020 11:48 32 rascal-maven-plugin-0.2.12.pom.sha1 11-Mar-2020 11:48 40