../ rascal-maven-plugin-0.19.8.jar 01-Jul-2023 16:40 41K rascal-maven-plugin-0.19.8.jar.md5 01-Jul-2023 16:40 32 rascal-maven-plugin-0.19.8.jar.sha1 01-Jul-2023 16:40 40 rascal-maven-plugin-0.19.8.pom 01-Jul-2023 16:40 7089 rascal-maven-plugin-0.19.8.pom.md5 01-Jul-2023 16:40 32 rascal-maven-plugin-0.19.8.pom.sha1 01-Jul-2023 16:40 40