../ rascal-0.15.4.jar 11-Mar-2020 13:48 102M rascal-0.15.4.jar.md5 11-Mar-2020 13:48 32 rascal-0.15.4.jar.sha1 11-Mar-2020 13:48 40 rascal-0.15.4.pom 11-Mar-2020 13:48 12K rascal-0.15.4.pom.md5 11-Mar-2020 13:48 32 rascal-0.15.4.pom.sha1 11-Mar-2020 13:48 40