From 1c8ed133b3eda4a982848e7fbe5abf78b91aa43c Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Thu, 7 Nov 2024 10:52:26 +0100 Subject: [PATCH] Closing the bootstrap cycle --- pom.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pom.xml b/pom.xml index afec4d8..097fea2 100644 --- a/pom.xml +++ b/pom.xml @@ -35,7 +35,7 @@ org.rascalmpl rascal - 0.40.16 + 0.40.17 org.rascalmpl @@ -45,12 +45,12 @@ org.rascalmpl typepal - 0.14.8-BOOT1 + 0.14.8 org.rascalmpl rascal-core - 0.12.12-BOOT1 + 0.12.12 org.apache.maven