../ rascal-core-0.4.7.jar 24-Feb-2020 10:55 2M rascal-core-0.4.7.jar.md5 24-Feb-2020 10:55 32 rascal-core-0.4.7.jar.sha1 24-Feb-2020 10:55 40 rascal-core-0.4.7.pom 24-Feb-2020 10:55 6164 rascal-core-0.4.7.pom.md5 24-Feb-2020 10:55 32 rascal-core-0.4.7.pom.sha1 24-Feb-2020 10:55 40