../ rascal-maven-plugin-0.2.5.jar 14-Feb-2020 16:12 20K rascal-maven-plugin-0.2.5.jar.md5 14-Feb-2020 16:12 32 rascal-maven-plugin-0.2.5.jar.sha1 14-Feb-2020 16:12 40 rascal-maven-plugin-0.2.5.pom 14-Feb-2020 16:12 6423 rascal-maven-plugin-0.2.5.pom.md5 14-Feb-2020 16:12 32 rascal-maven-plugin-0.2.5.pom.sha1 14-Feb-2020 16:12 40