../ rascal-maven-plugin-0.20.0-RC2.jar 25-Aug-2023 13:38 42K rascal-maven-plugin-0.20.0-RC2.jar.md5 25-Aug-2023 13:38 32 rascal-maven-plugin-0.20.0-RC2.jar.sha1 25-Aug-2023 13:38 40 rascal-maven-plugin-0.20.0-RC2.pom 25-Aug-2023 13:38 7105 rascal-maven-plugin-0.20.0-RC2.pom.md5 25-Aug-2023 13:38 32 rascal-maven-plugin-0.20.0-RC2.pom.sha1 25-Aug-2023 13:38 40