../ rascal-core-0.6.1.jar 08-Dec-2021 12:13 24M rascal-core-0.6.1.jar.md5 08-Dec-2021 12:13 32 rascal-core-0.6.1.jar.sha1 08-Dec-2021 12:13 40 rascal-core-0.6.1.pom 08-Dec-2021 12:13 8956 rascal-core-0.6.1.pom.md5 08-Dec-2021 12:13 32 rascal-core-0.6.1.pom.sha1 08-Dec-2021 12:13 40