../ rascal-0.19.1.jar 04-Sep-2020 11:18 101M rascal-0.19.1.jar.md5 04-Sep-2020 11:18 32 rascal-0.19.1.jar.sha1 04-Sep-2020 11:18 40 rascal-0.19.1.pom 04-Sep-2020 11:18 11K rascal-0.19.1.pom.md5 04-Sep-2020 11:18 32 rascal-0.19.1.pom.sha1 04-Sep-2020 11:18 40