../ rascal-0.18.2.jar 15-Jul-2020 18:56 99M rascal-0.18.2.jar.md5 15-Jul-2020 18:56 32 rascal-0.18.2.jar.sha1 15-Jul-2020 18:56 40 rascal-0.18.2.pom 15-Jul-2020 18:56 12K rascal-0.18.2.pom.md5 15-Jul-2020 18:56 32 rascal-0.18.2.pom.sha1 15-Jul-2020 18:56 40