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 3.0.0 to 3.0.1. - [Release notes](https://github.com/CROSSINGTUD/CryptSL/releases) - [Commits](CROSSINGTUD/CryptSL@3.0.0...3.0.1) --- updated-dependencies: - dependency-name: de.darmstadt.tu.crossing.CrySL:de.darmstadt.tu.crossing.CrySL dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
CROSSINGTUD · Nov 27, 2023 · 20de9a5 · 20de9a5
1 parent 209d090
commit 20de9a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CryptoAnalysis/pom.xml b/CryptoAnalysis/pom.xml
@@ -341,7 +341,7 @@
 		<dependency>
 			<groupId>de.darmstadt.tu.crossing.CrySL</groupId>
 			<artifactId>de.darmstadt.tu.crossing.CrySL</artifactId>
-			<version>3.0.0</version>
+			<version>3.0.1</version>
 		</dependency>
 		<dependency>
 			<groupId>org.eclipse.xtext</groupId>