../ rascal-core-0.8.1-BOOT1.jar 11-Mar-2024 16:28 1M rascal-core-0.8.1-BOOT1.jar.md5 11-Mar-2024 16:28 32 rascal-core-0.8.1-BOOT1.jar.sha1 11-Mar-2024 16:28 40 rascal-core-0.8.1-BOOT1.pom 11-Mar-2024 16:28 8674 rascal-core-0.8.1-BOOT1.pom.md5 11-Mar-2024 16:28 32 rascal-core-0.8.1-BOOT1.pom.sha1 11-Mar-2024 16:28 40