../ rascal-core-0.4.2.jar 11-Feb-2020 12:47 3M rascal-core-0.4.2.jar.md5 11-Feb-2020 12:47 32 rascal-core-0.4.2.jar.sha1 11-Feb-2020 12:47 40 rascal-core-0.4.2.pom 11-Feb-2020 12:47 7471 rascal-core-0.4.2.pom.md5 11-Feb-2020 12:47 32 rascal-core-0.4.2.pom.sha1 11-Feb-2020 12:47 40