../ rascal-core-0.3.1.jar 12-Nov-2019 13:40 1M rascal-core-0.3.1.jar.md5 12-Nov-2019 13:40 32 rascal-core-0.3.1.jar.sha1 12-Nov-2019 13:40 40 rascal-core-0.3.1.pom 12-Nov-2019 13:40 7107 rascal-core-0.3.1.pom.md5 12-Nov-2019 13:40 32 rascal-core-0.3.1.pom.sha1 12-Nov-2019 13:40 40