Bump de.darmstadt.tu.crossing.CrySL:de.darmstadt.tu.crossing.CrySL

Bumps [de.darmstadt.tu.crossing.CrySL:de.darmstadt.tu.crossing.CrySL](https://github.com/CROSSINGTUD/CryptSL) from 2.0.2 to 3.0.0. - [Release notes](https://github.com/CROSSINGTUD/CryptSL/releases) - [Commits](https://github.com/CROSSINGTUD/CryptSL/commits/3.0.0) --- updated-dependencies: - dependency-name: de.darmstadt.tu.crossing.CrySL:de.darmstadt.tu.crossing.CrySL dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]>
CROSSINGTUD · Nov 14, 2023 · 1351794 · 1351794
1 parent 9fbfc86
commit 1351794
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CryptoAnalysis/pom.xml b/CryptoAnalysis/pom.xml
@@ -296,7 +296,7 @@
 		<dependency>
 			<groupId>de.darmstadt.tu.crossing.CrySL</groupId>
 			<artifactId>de.darmstadt.tu.crossing.CrySL</artifactId>
-			<version>2.0.2</version>
+			<version>3.0.0</version>
 		</dependency>
 		<dependency>
 			<groupId>org.eclipse.xtext</groupId>