../ rascal-0.16.3.jar 20-Feb-2020 14:25 64M rascal-0.16.3.jar.md5 20-Feb-2020 14:25 32 rascal-0.16.3.jar.sha1 20-Feb-2020 14:25 40 rascal-0.16.3.pom 20-Feb-2020 14:25 12K rascal-0.16.3.pom.md5 20-Feb-2020 14:25 32 rascal-0.16.3.pom.sha1 20-Feb-2020 14:25 40