Merge branch 'main' into fixes-for-undefined

usethesource · Nov 25, 2024 · 6a30a3b · 6a30a3b
2 parents 0a07fe6 + 1730c9f
commit 6a30a3b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/pom.xml b/pom.xml
@@ -9,7 +9,7 @@
 
     <groupId>org.rascalmpl</groupId>
     <artifactId>typepal</artifactId>
-    <version>0.14.8-SNAPSHOT</version>
+    <version>0.14.9-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <properties>
@@ -59,7 +59,7 @@
             <plugin>
                 <groupId>org.rascalmpl</groupId>
                 <artifactId>rascal-maven-plugin</artifactId>
-                <version>0.28.7-BOOT4</version>
+                <version>0.28.9-BOOT1</version>
                 <configuration>
                     <bin>${project.build.outputDirectory}</bin>
                     <srcs>
@@ -186,7 +186,7 @@
         <dependency>
         	<groupId>org.rascalmpl</groupId>
         	<artifactId>rascal</artifactId>
-            <version>0.40.16</version>
+            <version>0.40.17</version>
         </dependency>
     </dependencies>
 </project>