../ rascal-core-0.4.15.jar 29-Aug-2020 12:31 2M rascal-core-0.4.15.jar.md5 29-Aug-2020 12:31 32 rascal-core-0.4.15.jar.sha1 29-Aug-2020 12:31 40 rascal-core-0.4.15.pom 29-Aug-2020 12:31 6122 rascal-core-0.4.15.pom.md5 29-Aug-2020 12:31 32 rascal-core-0.4.15.pom.sha1 29-Aug-2020 12:31 40