../ rascal-core-0.8.0.jar 13-Jan-2023 13:31 1M rascal-core-0.8.0.jar.md5 13-Jan-2023 13:31 32 rascal-core-0.8.0.jar.sha1 13-Jan-2023 13:31 40 rascal-core-0.8.0.pom 13-Jan-2023 13:31 9011 rascal-core-0.8.0.pom.md5 13-Jan-2023 13:31 32 rascal-core-0.8.0.pom.sha1 13-Jan-2023 13:31 40