../ rascal-maven-plugin-0.20.0-RC1.jar 24-Aug-2023 08:02 42K rascal-maven-plugin-0.20.0-RC1.jar.md5 24-Aug-2023 08:02 32 rascal-maven-plugin-0.20.0-RC1.jar.sha1 24-Aug-2023 08:02 40 rascal-maven-plugin-0.20.0-RC1.pom 24-Aug-2023 08:02 7105 rascal-maven-plugin-0.20.0-RC1.pom.md5 24-Aug-2023 08:02 32 rascal-maven-plugin-0.20.0-RC1.pom.sha1 24-Aug-2023 08:02 40