bumped rascal to 0.40.14 and maven plugin to 0.28.8

usethesource · Oct 28, 2024 · 93267ae · 93267ae
1 parent 50d1a84
commit 93267ae
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -24,8 +24,8 @@
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
 
-        <rascal-maven-plugin.version>0.28.5</rascal-maven-plugin.version>
-        <rascal.version>0.40.12</rascal.version>
+        <rascal-maven-plugin.version>0.28.8</rascal-maven-plugin.version>
+        <rascal.version>0.40.14</rascal.version>
         <rascal-tutor.version>0.19.7</rascal-tutor.version>
         <clair.version>0.12.0</clair.version>
         <rascal-git.version>0.1.14</rascal-git.version>