../ rascal-0.19.0.jar 28-Aug-2020 17:00 102M rascal-0.19.0.jar.md5 28-Aug-2020 17:00 32 rascal-0.19.0.jar.sha1 28-Aug-2020 17:00 40 rascal-0.19.0.pom 28-Aug-2020 17:00 11K rascal-0.19.0.pom.md5 28-Aug-2020 17:00 32 rascal-0.19.0.pom.sha1 28-Aug-2020 17:00 40