../ rascal-0.18.1.jar 15-Jul-2020 13:49 99M rascal-0.18.1.jar.md5 15-Jul-2020 13:49 32 rascal-0.18.1.jar.sha1 15-Jul-2020 13:49 40 rascal-0.18.1.pom 15-Jul-2020 13:49 12K rascal-0.18.1.pom.md5 15-Jul-2020 13:49 32 rascal-0.18.1.pom.sha1 15-Jul-2020 13:49 40