../ rascal-core-0.4.8.jar 06-Mar-2020 11:33 2M rascal-core-0.4.8.jar.md5 06-Mar-2020 11:33 32 rascal-core-0.4.8.jar.sha1 06-Mar-2020 11:33 40 rascal-core-0.4.8.pom 06-Mar-2020 11:33 6164 rascal-core-0.4.8.pom.md5 06-Mar-2020 11:33 32 rascal-core-0.4.8.pom.sha1 06-Mar-2020 11:33 40