../ rascal-core-0.7.8.jar 21-Apr-2022 14:57 1M rascal-core-0.7.8.jar.md5 21-Apr-2022 14:57 32 rascal-core-0.7.8.jar.sha1 21-Apr-2022 14:57 40 rascal-core-0.7.8.pom 21-Apr-2022 14:57 8857 rascal-core-0.7.8.pom.md5 21-Apr-2022 14:57 32 rascal-core-0.7.8.pom.sha1 21-Apr-2022 14:57 40