../ rascal-core-0.4.0.jar 07-Feb-2020 11:05 2M rascal-core-0.4.0.jar.md5 07-Feb-2020 11:05 32 rascal-core-0.4.0.jar.sha1 07-Feb-2020 11:05 40 rascal-core-0.4.0.pom 07-Feb-2020 11:05 7471 rascal-core-0.4.0.pom.md5 07-Feb-2020 11:05 32 rascal-core-0.4.0.pom.sha1 07-Feb-2020 11:05 40