../ rascal-core-0.12.3.jar 22-Jul-2024 10:28 2M rascal-core-0.12.3.jar.md5 22-Jul-2024 10:28 32 rascal-core-0.12.3.jar.sha1 22-Jul-2024 10:28 40 rascal-core-0.12.3.pom 22-Jul-2024 10:28 9547 rascal-core-0.12.3.pom.md5 22-Jul-2024 10:28 32 rascal-core-0.12.3.pom.sha1 22-Jul-2024 10:28 40