gradle.lockfile

# This is a Gradle generated file for dependency locking.
# Manual edits can break the build and are not advised.
# This file is expected to be part of source control.
com.fasterxml.jackson.core:jackson-annotations:2.13.5=modelcheck
com.fasterxml.jackson.core:jackson-core:2.13.5=modelcheck
com.fasterxml.jackson.core:jackson-databind:2.13.5=modelcheck
com.fasterxml.jackson.dataformat:jackson-dataformat-xml:2.13.5=modelcheck
com.fasterxml.jackson:jackson-bom:2.13.5=modelcheck
com.fasterxml.woodstox:woodstox-core:6.4.0=modelcheck
com.jetbrains:mps:2021.3.5=mps2021.3.5
com.jetbrains:mps:2022.2.2=mps2022.2.2
com.jetbrains:mps:2022.3.2=mps2022.3.2
com.jetbrains:mps:2023.2=mps2023.2
com.jetbrains:mps:2023.3=mps2023.3
com.xenomachina:kotlin-argparser:2.0.7=execute,executeGenerators,modelcheck
com.xenomachina:xenocom:0.0.7=execute,executeGenerators,modelcheck
org.codehaus.woodstox:stax2-api:4.2.1=modelcheck
org.jetbrains.kotlin:kotlin-stdlib-common:1.6.21=execute,executeGenerators,modelcheck
org.jetbrains.kotlin:kotlin-stdlib-jdk7:1.6.21=execute,executeGenerators,modelcheck
org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.6.21=execute,executeGenerators,modelcheck
org.jetbrains.kotlin:kotlin-stdlib:1.6.21=execute,executeGenerators,modelcheck
org.jetbrains.kotlin:kotlin-test:1.6.21=modelcheck
org.jetbrains:annotations:13.0=execute,executeGenerators,modelcheck
empty=